Types, Tableaus, and Gödel's God (Trends in Logic)
by
M. Fitting
Hardcover
details (
USA
).
ISBN: 978-1-4020-0604-3
ISBN-10: 1-4020-0604-7
Springer
· 2002