A system of formal logic without an analogue to the curry w operator
Zugl.: New Haven, Conn., Yale Univ., Diss.
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
S.l.
1936
|
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Zugl.: New Haven, Conn., Yale Univ., Diss. |
---|---|
Beschreibung: | Aus: The journal of symbolic logic ; 1.1936 |
Beschreibung: | S. 92-100 8° |