A theory of formal deducibility

Bibliographische Detailangaben

1. Verfasser:	Curry, Haskell B. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Notre Dame, Ind. Univ. of Notre Dame 1957
Ausgabe:	2. ed
Schriftenreihe:	Notre Dame mathematical lectures 6
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!