Combinatory logic and the omega-rule:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Barendregt, Hendrik P. 1947- (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: Darmstadt Techn. Hochsch. 1973
Schriftenreihe:Preprint / Technische Hochschule Darmstadt, Fachbereich Mathematik 86
Schlagwörter:
Umfang:24 Bl. Ill.