Types, Tableaus, and Gödel's God (Trends in Logic)

Fitting

by M. Fitting

Hardcover

ISBN: 978-1-4020-0604-3

ISBN-10: 1-4020-0604-7

Springer · 2002