Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / von Wolfgang Stegmüller.
Editor: Wien : Springer-Verlag, 1959Descripción: 114 p. ; 23 cmOtra clasificación: 03D35 (03E35)Item 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 St817 (Browse shelf) | Available | A-672 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 Sm666t-2 Theory of formal systems / | 03 Sp751 Logic : | 03 Sp759 Teoria generale dei numeri relativi : | 03 St817 Unvollständigkeit und Unentscheidbarkeit : | 03 St839 Matrix logic and mind : | 03 St873 Some combinatorial and algorithmic problems in many-valued logics / | 03 St875 Set theory and logic / |
Incluye referencias bibliográficas (p. [112]).
MR, 22 #2538
There are no comments on this title.