Proof methods for modal and intuitionistic logics /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht, Holland ; Boston : Hingham, MA :
D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Boston,
c1983
Dordrecht, Holland ; Boston, U.S.A. : Hingham, MA : c1983 Dordrecht, Holland ; Boston, U.S.A. : Hingham, MA : c1983 |
| Series: | Synthese library ;
v. 169 Synthese library ; v. 169 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
Yale University
| Call Number: |
QA9.54 F57 1983 |
|---|
University of Chicago
| Call Number: |
QA9.54.F570 1983 |
|---|
Massachusetts Institute of Technology
| Call Number: |
QA9.54.F57 1983 |
|---|
Harvard University
| Call Number: |
QA9.54 .F57 1983 |
|---|
Cornell University
| Call Number: |
QA9.54 .F54 1983 |
|---|