Systems of formal logic/ L. H. Hackstaff.
Publication details: Dordrecht ; D. Reidel, 1966.Description: xi, 354 p. ; 23 cmSubject(s): DDC classification:- 511.3 H123s
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 H123s 1966 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097546 |
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 G872l 1971 IMPA Logique moderne. Logique des propositions et des prédicats. Tables de vérité et axiomatisation. Fasc. II, | 511.3 G895o 1974 IMPA An outline of mathematical logic: fundamental results and notions explained with all details/ | 511.3 G895p 1973 IMPA Philosophical problems of space and time. | 511.3 H123s 1966 IMPA Systems of formal logic/ | 511.3 H148l 1935 IMPA Logique, mathématiques et connaissance de la réalité/ | 511.3 H148l 1935 IMPA Logique, mathématiques et connaissance de la réalité/ | 511.3 H151b 1976 IMPA Boole's logic and probability: a critical exposition from the standpoint of contemporary algebra, logic, and probability theory/ |
Includes index.
Bibliography: p. 344-345.
There are no comments on this title.