Fitting, Melvin Types, tableaus, and Gödel’s God. (English) Zbl 1038.03001 Trends in Logic—Studia Logica Library 12. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0604-7/hbk). xv, 180 p. (2002). Reviewer: G. E. Mints (Stanford) MSC: 03-02 03B45 03B15 03F05 03-01 03A05 PDF BibTeX XML Cite \textit{M. Fitting}, Types, tableaus, and Gödel's God. Dordrecht: Kluwer Academic Publishers (2002; Zbl 1038.03001)
Mathias, A. R. D. The strength of Mac Lane set theory. (English) Zbl 1002.03045 Ann. Pure Appl. Logic 110, No. 1-3, 107-234 (2001). Reviewer: Martin Weese (Potsdam) MSC: 03E70 03E30 PDF BibTeX XML Cite \textit{A. R. D. Mathias}, Ann. Pure Appl. Logic 110, No. 1--3, 107--234 (2001; Zbl 1002.03045) Full Text: DOI
Dzierzgowski, Daniel Models of intuitionistic TT and NF. (English) Zbl 0826.03023 J. Symb. Log. 60, No. 2, 640-653 (1995). MSC: 03E70 03C90 03F55 PDF BibTeX XML Cite \textit{D. Dzierzgowski}, J. Symb. Log. 60, No. 2, 640--653 (1995; Zbl 0826.03023) Full Text: DOI
Dzierzgowski, Daniel Models of intuitionistic TT and NF. (English) Zbl 0837.03041 Rapp., Sémin. Math., Louvain, Nouv. Sér. 237-244, 1-23 (1994). MSC: 03E70 03F55 03C90 PDF BibTeX XML Cite \textit{D. Dzierzgowski}, Rapp., Sémin. Math., Louvain, Nouv. Sér. 237--244, 1--23 (1994; Zbl 0837.03041)
Cappelli, A.; Itzykson, C.; Zuber, J. B. The A-D-E classification of minimal and \(A_ 1^{(1)}\) conformal invariant theories. (English) Zbl 0639.17008 Commun. Math. Phys. 113, 1-26 (1987). Reviewer: A.N.Pressley MSC: 17B65 17B67 17B10 81T99 81T25 PDF BibTeX XML Cite \textit{A. Cappelli} et al., Commun. Math. Phys. 113, 1--26 (1987; Zbl 0639.17008) Full Text: DOI