Combinatory reduction systems

Zugl.: Utrecht, State Univ., Diss., 1980

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Klop, Jan W. (VerfasserIn)
Weitere Verfasser:	Klop, J. W. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam Math. Centrum 1980
Schriftenreihe:	Mathematical Centre Tracts 127
Schlagworte:
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!