Proof theory of modal logic / edited by Heinrich Wansing
Secondary Author Wansing, Heinrich, 1963-, ed. lit. Language Inglês. Publication Dordrecht : Kluwer Academic Publishers, 1996Description x, 317 p. : il. ; 25 cm Series Applied Logic Series ; 2 ISBN 0792341201 Subjects Lógica
Lógica simbólica
Lógica matemática
Inteligência artificial (IA)
| 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 481/2 | Available | Fundo Geral | 2550IFILNOVA |
There are no comments for this item.