Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers/ [By] H. Jerome Keisler.
Series: Studies in logic and the foundations of mathematics ; v. 62.Publication details: Amsterdam ; North-Holland, 1971.Description: x, 208 p.: 23 cmISBN:- 0720422582
- 511.3 K27m
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 K27m 1971 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000100258 |
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 | |||
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/ | 511.3 K61i 1961 IMPA An introduction to algebraic logic/ | 511.3 K63f 1965 IMPA The foundations of intuitionistic mathematics, especially in relation to recursive functions/ | 511.3 K63i 1971 IMPA Introduction to metamathematics/ |
Bibliography: p. 193-203.
There are no comments on this title.