Logic; techniques of formal reasoning/ Donald Kalish and Richard Montague.
Publication details: New York: Harcourt, Brace & World, [1964].Description: x, 350 p.: 24 cmSubject(s): DDC classification:- 511.3 K14l
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 K14l 1964 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097793 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
|
No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available |
|
||
| 511.3 J73n 1987 IMPA Notes on logic and set theory/ | 511.3 K11m 1973 IMPA Mathématiques et logique: rétrospective et perspectives/ | 511.3 K12e 1994 IMPA Ensembles parfaits et séries trigonométriques/ | 511.3 K14l 1964 IMPA Logic; techniques of formal reasoning/ | 511.3 K21i 1975 IMPA Introduction to the theory of fuzzy subsets: Volume I : Fundamental theoretical elements/ | 511.3 K26f 1964 IMPA First-order functional calculus/ | 511.3 K27m 1971 IMPA Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers/ |
Bibliography: p. [341]-345.
There are no comments on this title.