Symbolic logic and mechanical theorem proving/ [by] Chin-liang Chang [and] Richard Char-Tung Lee.
Series: Computer science and applied mathematicsPublication details: New York: Academic Press, [1973].Description: xiii, 331 p.: illus., 24 cmSubject(s): DDC classification:- 511.3 C456s
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 C456s 1973 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097017 |
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 C435u 1999 IMPA The unknowable/ | 511.3 C456c 1966 IMPA Continuous model theory/ | 511.3 C456m 1990 IMPA Model theory/ | 511.3 C456s 1973 IMPA Symbolic logic and mechanical theorem proving/ | 511.3 C516m 1980 IMPA Modal logic: an introduction/ | 511.3 C521f 2003 IMPA Finite structures with few types/ | 511.3 C534c 1990 IMPA Constructibility and mathematical existence/ |
Bibliography: p. 309-324.
There are no comments on this title.