Lambda-Kalkül, Delta-Konversion und axiomatische Rekursionstheorie

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mitschke, Gerd (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Darmstadt Techn. Hochsch. 1976
Schriftenreihe:	Preprint / Technische Hochschule Darmstadt, Fachbereich Mathematik 274
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge