Types, tableaus, and Gödel's god

Author(s)

• Fitting, Melvin Chris

Bibliographic Information

Types, tableaus, and Gödel's god

Melvin Fitting

（Trends in logic : studia logica library, v. 12）

Kluwer Academic, c2002

Note

Includes bibliographical references (p. 173-177) and index

Details

• NCID: BA57198921
• ISBN:
  • 1402006047
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: xv, 180 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA32227531