The functional interpretation of logical deduction [electronic resource] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
2012
BC71 .Q45 2012eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
The functional interpretation of logical deduction [electronic resource] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
Author
ISBN
9814360953
9789814360951
9789814360968 electronic book
9789814360951
9789814360968 electronic book
Publication Details
Singapore : World Scientific, c2012.
Language
English
Description
xxxii, 266 p.
Call Number
BC71 .Q45 2012eb
Bibliography, etc. Note
Includes bibliographical references (p. 253-264) and index.
Access Note
Access limited to authorized users.
Added Author
Series
Advances in logic ; v. 5.
Linked Resources
Record Appears in