Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 S173j 1981 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098387 |
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 | |||||||
511.3 S121s 1972 IMPA Saturated model theory/ | 511.3 S172l 1973 IMPA Logic/ | 511.3 S172s 1984 IMPA Scientific explanation and the causal structure of the world/ | 511.3 S173j 1981 IMPA Jewels of formal language theory/ | 511.3 S253 1997 IMPA Satisfiability problem: theory and applications : DIMACS workshop, March 11-13, 1996/ | 511.3 S351m 1960 IMPA Mathematische Gesetze der Logik.. I. Vorlesungen uber Aussagenlogik. | 511.3 S368g 1961 IMPA Grundzüge der mathematischen Logik/ |
Includes index.
Bibliography: p. 139-142.
There are no comments on this title.