63 treff

proof theory
Proof theory
Takeuti, Gaisi
Bok Språk ikke angitt 1975 · Vis mer
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
ISILC Proof Theory Symposium
Bok Engelsk 1975 · Vis mer
Proof theory and logical complexity. 1.
Girard, Jean-Yves
Bok Engelsk 1987 · Vis mer
Proof theory and intuitionistic systems
Bruno Scarpellini
Bok Språk ikke angitt 1971 · Vis mer
Structural proof theory
Sara Negri, Jan von Plato ; with an appen...
Bok Engelsk 2001 · Vis mer
Handbook of proof theory
edited by Samuel R. Buss
Bok Engelsk 1998 · Vis mer
Goal-directed proof theory
by Dov M. Gabbay and Nicola Olivetti
Bok Engelsk 2000 · Vis mer
Reductive logic and proof-search : proof theory, semantics, and control
David J. Pym and Eike Ritter
Bok Engelsk 2004 · Vis mer
Proof complexity
Jan Krajíček.
Bok Engelsk 2019 · Vis mer
Proof and system-reliability
NATO Advanced Study Institute on Proof and System-Reliability
Bok Engelsk 2002 · Vis mer
Analysis : with an introduction to proof
Steven R. Lay
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
An accompaniment to higher mathematics
George R. Exner
Bok Engelsk 1996 · Vis mer
Recursive program schemes : semantics and proof theory
Roever, W.-P. de
Bok Engelsk 1976 · Vis mer
100 % mathematical proof
Rowan Garnier, John Taylor
Bok Engelsk 1996 · Vis mer
The structure of proof : with logic and set theory
Michael L. O'Leary
Bok Engelsk 2002 · Vis mer
Proving in the elementary mathematics classroom
Andreas J. Stylianides
Bok Engelsk 2016 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logical foundations of proof complexity
Stephen Cook, Phuong Nguyen
Bok Engelsk 2010 · Vis mer
Mathematical reasoning : writing and proof
Sundstrom, Theodore A.
Bok Engelsk 2003 · Vis mer
The power of interaction
Carsten Lund
Bok Engelsk 1992 · Vis mer
On the shape of mathematical arguments
A. J. M. van Gasteren ; foreword by Edsge...
Bok Engelsk 1990 · Vis mer
Proof and the art of mathematics
Joel David Hamkins
Bok Engelsk 2020 · Vis mer
Vis flere utgaver
Vis flere utgaver
The nuts and bolts of proofs
Antonella Cupillari
Bok Engelsk 2005 · Vis mer
The logic of provability
George Boolos
Bok Engelsk 1993 · Vis mer
Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more
Dan Gusfield
Bok Engelsk 2024 · Vis mer
Introduction to Mathematical Proofs : A Transition
Roberts, Charles.
Bok Engelsk 2009 · Vis mer
Theorems, corollaries, lemmas, and methods of proof
Richard J. Rossi
Bok Engelsk 2006 · Vis mer
How to read and do proofs : an introduction to mathematical thought processes
Daniel Solow
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Mathematical proofs : a transition to advanced mathematics /
Gary Chartrand, Western Michigan Universi...
Bok Engelsk 2018 · Vis mer
Incompleteness : the proof and paradox of Kurt Gödel
Rebecca Goldstein
Bok Engelsk 2005 · Vis mer
Proofs and fundamentals : a first course in abstract mathematics
Ethan D. Bloch
Bok Engelsk 2000 · Vis mer