A theory of formal deducibility

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Curry, Haskell B. 1900-1982 (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Notre Dame, Ind. Univ. of Notre Dame Pr. 1966
Ausgabe:3. print.
Schriftenreihe:Notre Dame mathematical lectures 6
Schlagworte:
Online-Zugang:kostenfrei
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!