Negri, Sara; von Plato, Jan Proof analysis. A contribution to Hilbert’s last problem. (English) Zbl 1247.03001 Cambridge: Cambridge University Press (ISBN 978-1-107-00895-3/hbk; 978-1-107-41723-6/pbk; 978-1-139-00351-3/ebook). xi, 265 p. (2011). Reviewer: M. Yasuhara (Princeton) MSC: 03-02 03F03 03F07 03D40 03B30 PDFBibTeX XMLCite \textit{S. Negri} and \textit{J. von Plato}, Proof analysis. A contribution to Hilbert's last problem. Cambridge: Cambridge University Press (2011; Zbl 1247.03001) Full Text: DOI
Pulvermüller, Elke Verification of component-based systems based on an extended temporal verification method. (Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens.) (German) Zbl 1104.68529 Jena: Univ. Jena, Fakultät für Mathematik und Informatik (Dissertation). 245 p. (2006). MSC: 68Q60 03B44 68-02 PDFBibTeX XMLCite \textit{E. Pulvermüller}, Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens. Jena: Univ. Jena, Fakultät für Mathematik und Informatik (Dissertation) (2006; Zbl 1104.68529)
Eberl, Matthias Normalization by evaluation. (English) Zbl 0992.03021 München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.), 62 p. (2001). MSC: 03B40 68Q42 68N18 03G30 03-02 68-02 PDFBibTeX XMLCite \textit{M. Eberl}, Normalization by evaluation. München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.) (2001; Zbl 0992.03021)
Michelbrink, Markus On the finite treatment of the proof theory of weak fragments of the set theory: \(\mathbf{KP} +\Pi_3\)-reflexion. (Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre: \(\mathbf{KP} +\Pi_3\)-Reflexion.) (German) Zbl 1070.03038 Hannover: Univ. Hannover, Fachbereich Mathematik und Informatik (Dissertation). 94 p. (2000). MSC: 03F15 03E70 03-02 03F03 03F05 03F07 03F25 03F35 03D20 PDFBibTeX XMLCite \textit{M. Michelbrink}, Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre: \(\mathbf{KP} +\Pi_3\)-Reflexion. Hannover: Univ. Hannover, Fachbereich Mathematik und Informatik (Dissertation) (2000; Zbl 1070.03038) Full Text: Link
Viganò, Luca [Gabbay, Dov M.] Labelled non-classical logics. With a foreword by Dov M. Gabbay. (English) Zbl 1003.03001 Dordrecht: Kluwer Academic Publishers. xiv, 291 p. (2000). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03B45 03F07 68T15 03F05 03B70 PDFBibTeX XMLCite \textit{L. Viganò}, Labelled non-classical logics. With a foreword by Dov M. Gabbay. Dordrecht: Kluwer Academic Publishers (2000; Zbl 1003.03001)
Bowen, Kenneth A. Model theory for modal logic. Kripke models for modal predicate calculi. (English) Zbl 0395.03022 Synthese Library. Vol. 127. Dordrecht, Boston, London: D. Reidel Publishing Company. X, 128 p. Dfl. 50.00; $ 24.00 (1979). MSC: 03Cxx 03B45 03-02 PDFBibTeX XML