Theory of proof

Aspects of diagonalization & provability / door Albert Visserschema:ProductModel Chapters on bounded arithmetic & on provability logic / Domenico Zambellaschema:ProductModel Discrete wiskunde 2 / E.M. van de Vrieschema:ProductModel Equational proofs in tableaux and logic programming / Eric Andreas de Kogelschema:ProductModel Fixed-point logics on trees / Amélie Pauline Gheerbrantschema:ProductModel Fixed-point logics on trees / Amélie Pauline Gheerbrantschema:ProductModel Galileo's logical treatises : a translation, with notes and commentary, of his appropriated Latin questions on Aristotle's Posterior analytics / William A. Wallaceschema:ProductModel Handbook of proof theory / ed. by Samuel R. Bussschema:ProductModel Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International workshop on higher order logic theorem proving and its applications - Hol '92, organized by CHEOPS ESPRIT BRA 3215, sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 / ed. by Luc J.M. Claesen, Michael J.C. Gordonschema:ProductModel Hybrid logic and its proof-theory / by Torben Braünerschema:ProductModel Hybrid logic and its proof-theory / by Torben Braünerschema:ProductModel Interpretability formalized / Joost Johannes Joostenschema:ProductModel Labelled non-classical logics / by Luca Viganòschema:ProductModel Logic and foundations of mathematics : selected contributed papers of the tenth international congress of logic, methodology and philosophy of science, Florence, August 1995 / ed. by Andrea Cantini, Ettore Casari, Pierluigi Minarischema:ProductModel Logica en informatica 2 / J.S. Lodderschema:ProductModel Logics and provability / Katsumi Sasakischema:ProductModel Logics and provability / Katsumi Sasakischema:ProductModel Logics and type systems / Jan Herman Geuversschema:ProductModel Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)schema:ProductModel Metamathematics in Coq / Roger Dimitri Alexander Hendriksschema:ProductModel ... show all 40