Types, Tableaus, and Gödel’s God by Melvin Fitting (2002, Hardcover) A nice touch in this textbook is the appendix with useful formulas and tables. Seguir leyendo →
