Types, tableaus, and Gödel's God / Melvin Fitting.
| Author/creator |
Fitting, Melvin, 1942- |
| Format | Book and Print |
| Publication Info | Dordrecht ; Boston : Kluwer Academic Publishers, ©2002. |
| Description | xv, 180 pages ; 25 cm. |
| Subject(s) |
Click here for more information about this title
| Series | Trends in logic ; v. 13 Trends in logic ; v. 13. ^A520786 |
| Bibliography note | Includes bibliographical references (p. 173-177) and index. |
| LCCN | 2002070322 |
| ISBN | 1402006047 (hc. : alk. paper) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | BC199.M6 F59 2002 | ✔ Available | Place Hold |