| Title | Types, Tableaus, and Gödel’s God |
|---|---|
| Author | Melvin Fitting |
| Year | 2002 |
| Edition | |
| Volume | |
| Series | Trends in Logic, Volume 12 |
| Publisher | Kluwer Academic Publishers |
| City | |
| Language | English |
Size: 11.17MB | Pages: 198 |
LLC: N/A | DDC: 160
