Skip to contents

Ungar, Anthony M. [Author]

Normalization, cut-elimination and the theory of proofs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stanford, Calif.: CSLI, 1992

Published in: Stanford University: CSLI lecture notes ; 28
Bimbó, Katalin [Author]

Proof theory : sequent calculi and related formalisms

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boca Raton, Fla. [u.a.]: CRC Press, Taylor & Francis, 2015

Published in: Discrete mathematics and its applications
Alsina, Claudi [Author]; Nelsen, Roger B. [Author] ; Filk, Thomas [Translator]

Bezaubernde Beweise : eine Reise durch die Eleganz der Mathematik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer Spektrum, [2013]
Wille, Matthias [Author]

Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paderborn: Mentis-Verl., 2008
Negri, Sara [Author]; Plato, Jan von [Author]

Structural proof theory - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2001
Troelstra, Anne S. [Author]; Schwichtenberg, Helmut [Author]

Basic proof theory - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 2000

Published in: Cambridge tracts in theoretical computer science ; 43.2000
Gabbay, Dov M. [Author]; Olivetti, Nicola [Author]

Goal-directed proof theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer, c 2000

Published in: Applied logic series ; 21
Buss, Samuel R. [Other]

Handbook of proof theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: Elsevier, 1998

Published in: Studies in logic and the foundations of mathematics ; 13700
Heindorf, Lutz [Author]

Elementare Beweistheorie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994
Mints, G. E. [Author]

Selected papers in proof theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Napoli [u.a.]: Bibliopolis [u.a.], 1992

Published in: Studies in proof theory / Monographs ; 3
Schütte, Kurt [Author]

Beweistheorie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Göttingen; Heidelberg: Springer, 1960

Published in: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 103
Aigner, Martin [Author]; Ziegler, Günter M. [Author] ; Hofmann, Karl H. [Illustrator]

Das Buch der Beweise - [2. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004
Goubault-Larrecq, Jean [Author]; Mackie, Ian [Author]

Proof theory and automated deduction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Academic, 1997

Published in: Applied logic series ; 6
Wolf, Robert S. [Author]

Proof, logic, and conjecture : the mathematician's toolbox

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY [u.a.]: Freeman, 1998
Maddox, Randall B. [Author]

Mathematical thinking and writing : a transition to abstract mathematics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

San Diego, Calif. [u.a.]: Acad. Press, 2002
Cunningham, Daniel W. [Author]

A logical introduction to proof

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg; Dordrecht; London: Springer, [2012]
Pohlers, Wolfram [Author]

Proof theory : the first step into impredicativity

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2009

Published in: Universitext
Došen, Kosta [Author]; Petrić, Zoran [Author]

Proof-theoretical coherence

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London: King's College Publications, 2004

Published in: Studies in logic ; 1
Aigner, Martin [Author]; Ziegler, Günter M. [Author] ; Hofmann, Karl H. [Other]

Das Buch der Beweise

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002
Wansing, Heinrich [Author]

Displaying modal logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht; London [u.a.]: Kluwer Academic, c1998

Published in: Trends in logic ; 3

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication