Proof theory of modal logic/

Other Authors:	Wansing, Heinrich
Format:	Book
Published:	Dordrecht : Kluwer Academic Publishers, c1996
Series:	Applied logic series ; v. 2
Subjects:	Proof theory

Similar Items

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

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

Proof, logic, and formalization
Published: (1992)

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

Proof theory : history and philosophical significance /
Published: (2000)

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

Basic proof theory /
by: Troelstra, A. S.
Published: (2000)

Basic proof theory/
by: Troelstra, A. SAnne Sjerp
Published: (2000)

Ways of proof theory
by: Schindler, Ralf.
Published: (2010)

Selected papers in proof theory/
by: Mints, Grigorii E.
Published: (1992)

Structural proof theory /
by: Negri, Sara, 1967-
Published: (2001)

Proof, logic and formalization /
by: Detlefsen, Michael
Published: (1992)

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

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

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

Charming proofs a journey into elegant mathematics /
by: Alsina, Claudi.
Published: (2010)

Mathematical proofs: a transition to advanced mathematics/
by: Chartrand, Gary
Published: (2003)

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

Introduction to proofs in mathematics /
by: Franklin, James, 1953-
Published: (1988)

Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2011)

Conditional and preferential logics proof methods and theorem proving /
by: Pozzato, Gian Luca.
Published: (2010)

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

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)

Perspectives in logic logical foundations of proof complexity /
by: Cook, Stephen, 1948-
Published: (2010)

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

Theories for admissible sets a unifying approach to proof theory/
by: Ja?ger, Gerhard, 1967-
Published: (1986)

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

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

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

Tracking reason proof, consequence, and truth /
by: Azzouni, Jody.
Published: (2006)

The unprovability of consistency : : an essay in modal logic /
by: Boolos, George S.
Published: (1979)

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

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

Logic for concurrency and synchronisation
Published: (2003)

Sets and proofs :invited papers from Logic Colloquium ʹ97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Published: (1999)

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

Three views of logic : mathematics, philosophy, and computer science /
by: Loveland, Donald W.

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

Memoirs of a proof theorist Gθodel and other logicians /
by: Takeuti, Gaisi, 1926-
Published: (2003)

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

Cannot write session to /tmp/vufind_sessions/sess_haurlku7ddd4k7ke3bnsn5lbr3