Combinators. [Gamma]-terms and proof theory Sören Stenlund

Bibliographische Detailangaben

1. Verfasser:	Stenlund, Soeren (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Dordrecht Reidel (1972)
Schriftenreihe:	(Synthese Library)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!