Proof, logic and formalization /

Main Author:	Detlefsen, Michael
Format:	Book
Published:	London: Routledge, 1992
Subjects:	Proof theory Logic, Symbolic and mathematical

Similar Items

Formal proof/
Published: (2004)

Combinators λ-terms and proof theory/
by: Stenlund, Soren
Published: (1972)

Proof, logic, and formalization
Published: (1992)

Proof, logic, and formalization /
Published: (1992)

How to read and do proofs: an introduction to mathematical thought processes/
by: Solow, Daniel
Published: (2005)

100% mathematical proof /
by: Garnier, Rowan.
Published: (1996)

Theorems, corollaries, lemmas, and methods of proof /
by: Rossi, Richard J., 1956-
Published: (2006)

Beweistheorie/
by: Schu?tte, Kurt
Published: (1960)

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 /
Published: (1998)

Proof theory and automated deduction/
by: Goubault-Larrecq, Jean
Published: (1997)

Algebra of proofs
by: Szabo, M. E
Published: (1978)

Formal logic/
by: Lorenzen, Paul, 1915-1994
Published: (1965)

Adapting proofs-as-programs : the Curry - Howard protocol /
by: Poernomo, Iman Hafiz
Published: (2005)

Proof theory of modal logic/
Published: (1996)

Proof theory and logical complexity/
by: Girard, Jean-Yves
Published: (1987)

Logic and proof/
by: Bittinger, Marvin L.
Published: (1970)

Proof theory/
by: Takeuti, Gaisi, 1926-
Published: (1975)

Proof theory and logical complexity= Logical complexity/
by: Girard, Jean-Yves
Published: (1987)

Reductive logic and proof-search : proof theory, semantics, and control /
by: Pym, David J.
Published: (2004)

Handbook of proof theory
Published: (1998)

The logic of provability /
by: Boolos, George S.
Published: (1993)

The age of alternative logics : assessing philosophy of logic and mathematics today /
Published: (2006)

Linear logic in computer science /
Published: (2004)

The logic of provability/
by: Boole, George, 1815-1864
Published: (1993)

Proof/
by: Plumpton, Charles, 1920-
Published: (1984)

Proof theory : an introduction /
by: Pohlers, Wolfram
Published: (1989)

Λογική και απόδειξη : θεωρία - ασκήσεις /
by: Boricic, Branislav
Published: (1995)

Logic for concurrency and synchronisation
Published: (2003)

Formal logic : a philosophical approach /
by: Hoyningen-Huene, Paul, 1946-

Formal logic: a philosophical approach/
by: Hoyningen-Huene, Paul, 1946-
Published: (2004)

Analysis with an introduction to proof/
by: Lay, Steven R., 1944-
Published: (1990)

Mathematical thinking and writing : a transition to abstract mathematics /
by: Maddox, Randall B.
Published: (2002)

Ancient formal logic /
by: Bochenski, I. M.
Published: (1968)

Ancient formal logic/
by: Bochen?ski, Joseph M., 1902-1995
Published: (1951)

Conjecture and proof /
by: Laczkovich, Miklσs
Published: (2001)

Explanation and proof in mathematics : philosophical and educational perspectives /
Published: (2010)

Proof theory and intuitionistic systems
by: Scarpellini, Bruno
Published: (1971)

Proof theory : a selection of papers from the leeds proof theory programme /
by: Aczel, Peter, 1941-
Published: (1992)

Mathematical proof : an elementary approach /
by: Hallerberg, Arthur E., 1918-1978
Published: (1974)

ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Cannot write session to /tmp/vufind_sessions/sess_m3l5b629u9pd4ahan4am5qr1c4