A theory of formal deducibility / by Haskell B. Curry.
Series Notre Dame mathematical lectures ; no. 6Editor: Notre Dame, Indiana : [University of Notre Dame], 1950Descripción: ix, 126 p. ; 23 cmTema(s): Logic, Symbolic and mathematicalOtra clasificación: 03BxxItem type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C976t (Browse shelf) | Available | A-38 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C976f Foundations of mathematical logic / | 03 C976l Leçons de logique algébrique / | 03 C976o Outlines of a formalist philosophy of mathematics / | 03 C976t A theory of formal deducibility / | 03 C976t-2 A theory of formal deducibility / | 03 D132 Théorie des modèles en logique mathématique / | 03 D261 Lecture notes on mathematical logic / |
Bibliografía: p. 123-126.
MR, 11,487b
There are no comments on this title.