Ancient formal logic.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1951.Description: vi, 122 p.: table., 22 cmSubject(s): DDC classification:- 511.3 B664a
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B664a 1951 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000099864 |
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 | ||||
511.3 B573 2017 IMPA Beyond first order model theory/ | 511.3 B581a 1982 IMPA Automated theorem proving/ | 511.3 B612s 1965 IMPA Solutions to the exercises in First course in mathematical logic/ | 511.3 B664a 1951 IMPA Ancient formal logic. | 511.3 B664p 1959 IMPA A precis of mathematical logic/ | 511.3 B691m 1948 IMPA Manuel de logique scientifique, remplaçant et complétant les Éléments de logique scientifique, 1942/ | 511.3 B694p 1950 IMPA Paradoxes of the infinite. |
Bibliography: p.[110]-116.
There are no comments on this title.