Logic : techniques of formal reasoning / Donald Kalish, Richard Montague.
Editor: New York : Harcourt, Brace & World, c1964Descripción: x, 350 p. ; 24 cmTema(s): Logic, Symbolic and mathematicalOtra clasificación: 03-01 (03B10)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 K145 (Browse shelf) | Available | A-2494 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 J58 Elementary lessons in logic : | 03 J76 Computability theory : | 03 K14 Introduction à la logique juridique : | 03 K145 Logic : | 03 K15 Theory of sets / | 03 K15m Mengenlehre / | 03 K15t Théorie des Ensambles / |
Bibliografía: p. [341]-345.
There are no comments on this title.