Symbolic logic : an introduction / Richmond H. Thomason.
Editor: [New York] : Macmillan, c1970Descripción: xiii, 367 p. ; 24 cmOtra clasificación: 03-01 (03Bxx)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 T463 (Browse shelf) | Available | A-4111 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 T193u Undecidable theories / | 03 T315 Fuzzy systems theory and its applications / | 03 T315 Fuzzy systems theory and its applications / | 03 T463 Symbolic logic : | 03 T536 Logique de la programmation : | 03 T722 Les applications techniques de la logique / | 03 T843 Choice sequences : |
Bibliografía: p. 323-325.
"Solutions to selected exercises": p. 329-362.
MR, 43 #4627
There are no comments on this title.