Theory of formal systems / by Raymond M. Smullyan.
Series Annals of mathematics studies ; no. 47Editor: Princeton, New Jersey : Princeton University Press, 1961Edición: Rev. edDescripción: vii, 147 p. ; 24 cmOtra clasificación: 03-XXItem 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 Sm666t-2 (Browse shelf) | Available | A-1052 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 Sm666 First-order logic / | 03 Sm6665 Fundamentals of logic / | 03 Sm666f Forever undecided : | 03 Sm666t-2 Theory of formal systems / | 03 Sp751 Logic : | 03 Sp759 Teoria generale dei numeri relativi : | 03 St817 Unvollständigkeit und Unentscheidbarkeit : |
"... a revision of the author's doctoral dissertation."
MR, 27 #2409
There are no comments on this title.