Introduction to mathematical logic. Vol. I / by Alonzo Church.
Series Princeton mathematical series ; 17Editor: Princeton : Princeton University Press, 1956Edición: [Rev. and enl. ed.]Descripción: ix, 378 pOtra clasificación: 03Bxx (03-01)Item type | Home library | Shelving location | Call number | Materials specified | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C561i (Browse shelf) | Available | A-361 | |||
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C561i (Browse shelf) | Ej. 2 | Available | A-6611 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C4565 Symbolic logic and mechanical theorem proving / | 03 C456m Model theory / | 03 C561 The calculi of lambda-conversion / | 03 C561i Introduction to mathematical logic. | 03 C561i Introduction to mathematical logic. | 03 C564 La méthode générale des sciences positives : | 03 C564l-2 The limits of science : |
"Revised and much enlarged edition of Introduction to mathematical logic, Part I, wich was published in 1944 as one of the Annals of Mathematics Studies."
MR, 18,631a
There are no comments on this title.