Foundations of mathematical logic / Haskell B. Curry.
Series McGraw-Hill series in higher mathematicsEditor: New York : McGraw-Hill, c1963Descripción: xii, 408 p. ; 24 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 C976f (Browse shelf) | Available | A-1680 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C886 Logic in algebraic form : | 03 C951 Constructive order types / | 03 C976c Combinatory logic / | 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 / |
MR, 26 #6036
There are no comments on this title.