Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.
Series: Synthese libraryPublication details: Dordrecht; D. Reidel; New York: Gordon & Breach, [1962].Description: 170 p.: illus.; 23 cmSubject(s): DDC classification:- 511.3 B562f
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B562f 1962 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000095342 | |
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B562f 1962 IMPA (Browse shelf(Opens below)) | 2 | Available | 39063000095334 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
Includes bibliography.
There are no comments on this title.