Types, tableaus, and G�odels God /
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
c2002
|
Series: | Trends in logic
v. 13 |
Subjects: |