Automated theorem proving/ Wolfgang Bibel.
Publication details: Braunschweig: F. Vieweg, 1982.Description: xiii, 292 p.: ill.; 23 cmISBN:- 3528085207 :
- 511.3 B581a
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B581a 1982 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000096860 |
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 B562f 1964 IMPA The foundations of mathematics;: a study in the philosophy of science/ | 511.3 B562m 1965 IMPA Mathematical thought; an introduction to the philosophy of mathematics/ | 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/ |
Includes index.
Bibliography: p. [277]-287.
There are no comments on this title.