Combinators, lambda-terms and proof theory

Zugl.: Uppsala, Univ., Diss., 1972

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Stenlund, Sören (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht Reidel 1972
Schriftenreihe:	Synthese library
Schlagworte:	Combinatory logic > Proof theory > Hochschulschrift > Kombinatorische Logik > Metamathematik > Mathematische Logik > Mathematik > Beweistheorie
Online Zugang:	Inhaltsverzeichnis Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!