Fitting, Melvin
Types, tableaus, and Godel's god - London Kluwer Academic 2002 - 180 - Trends in logic - Studia Logica library; v.13 .
1402006047
510.6 FIT
Types, tableaus, and Godel's god - London Kluwer Academic 2002 - 180 - Trends in logic - Studia Logica library; v.13 .
1402006047
510.6 FIT