A theory of formal deducibility / by Haskell B. Curry.
Series Notre Dame mathematical lectures ; no. 6Editor: Notre Dame, Indiana : [University of Notre Dame Press?], 1966, c1950Edición: [2nd ed.]Descripción: xi, 129 p. ; 23 cmOtra 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-2 (Browse shelf) | Available | A-3486 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
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 / | 03 D261c Computability & unsolvability / |
Bibliografía: p. 123-129.
MR, 42 #1644
There are no comments on this title.