Proof methods for modal and intuitionistic logics / Melvin Fitting
Main Author Fitting, Melvin, 1942- Language Inglês. Publication Dordrecht : D. Reidel Publishing Company, 1983Description viii, 555 p. : il. ; 23 cm Series Synthese Library ; 169 ISBN 9027715734 Subjects Lógica
Lógica matemática
Proposições
Lógica simbólica
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Book | Biblioteca Vitorino Magalhães Godinho | Sala de Leitura | IFILNOVA REF 383/169 | Available | Fundo Geral | 1937IFILNOVA |
There are no comments for this item.