Proof theory / Gaisi TakeutiOn the shape of mathematical arguments / Antonetta Johanna Maria van GasterenWaarom?, daarom : de lotgevallen van de aristotelische bewijstheorie in de laat-middeleeuwse metafysica / L.M. de RijkSelected papers in proof theory / Grigorii E. MintsResource logics : proof-theoretical investigations / Dirk RoordaGalileo's logical treatises : a translation, with notes and commentary, of his appropriated Latin questions on Aristotle's Posterior analytics / William A. WallaceHigher 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. GordonLogics and type systems / Jan Herman GeuversMetamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)The noble art of linear decorating / Henricus Arnoldus Johannes Maria SchellinxChapters on bounded arithmetic & on provability logic / Domenico ZambellaEquational proofs in tableaux and logic programming / Eric Andreas de KogelProof theory of modal logic / ed. by Heinrich WansingHandbook of proof theory / ed. by Samuel R. BussDiscrete wiskunde 2 / E.M. van de VrieLogica en informatica 2 / J.S. LodderStudies in mechanical verification of mathematical proofs / Mark Pieter Jan RuysLogic 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 MinariLabelled non-classical logics / by Luca ViganòSemantic analysis of compositional proof methods for concurrency / Ulrich HannemannProof theory : history and philosophical significance / ed. by Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin JørgensenSequents and link graphs : contraction criteria for refinements of multiplicative linear logic / Geert-Willem Quintijn PuiteProvability logic and admissible rules / Rosalie IemhoffLogics and provability / Katsumi SasakiThe level set method of joó and its use in minimax theory / J.B.G. Frenk, G. KassayMetamathematics in Coq / Roger Dimitri Alexander HendriksInterpretability formalized / Joost Johannes JoostenRelating proof systems for recursive types / Clemens Armin GrabmayerProofs, intuitions and diagrams : Kant and the mathematical method of proof / Petrus Theodorus Maria RoodProvability logic and admissible rules / Rosalie IemhoffLogics and provability / Katsumi SasakiRealizability : an introduction to its categorical side / Jaap van OostenHybrid logic and its proof-theory / by Torben BraünerFixed-point logics on trees / Amélie Pauline GheerbrantFixed-point logics on trees / Amélie Pauline GheerbrantHybrid logic and its proof-theory / by Torben BraünerProof Theory / by Gaisi TakeutiAspects of diagonalization & provability / door Albert VisserObserveren en redeneren : een inleiding tot kennisvorming / G.J. KruijerProof-theoretical analyses of transfinite recursion and inductive definitions = Bewijstheoretische analyses van transfiniete recursie en inductieve definities / door Jan Terlouw