Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Proof Theory"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
proof »
prof
Showing
1
-
20
of
37
Search:
'"Proof Theory"'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Sets, Models and Proofs
by
Moerdijk, Ieke
,
van Oosten, Jaap
Published 2018
Springer International Publishing
Subjects:
“
...
Proof
theory
...
”
Read Now
2
Proof analysis : a contribution to Hilbert's last problem
by
Negri, Sara
,
Von Plato, Jan
Published 2011
Cambridge University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA9.54
Read Now
3
Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more
by
Gusfield, Dan
Published 2024
Cambridge University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA9.54
Read Now
4
Logical Skills : Social-Historical Perspectives
Published 2021
Birkhäuser
Subjects:
“
...
Proof
theory
...
”
Read Now
5
An Introduction to the Language of Mathematics
by
Mynard, Frédéric
Published 2018
Springer International Publishing
Subjects:
“
...
Proof
theory
...
”
Read Now
6
Proof complexity
by
Krajíček, Jan
Published 2019
Cambridge University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA9.54
Read Now
7
Mathematical rigour and informal proof
by
Stanley Tanswell, Fenner
Published 2024
Cambridge University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA8.4
Read Now
8
Proofs and computations
by
Schwichtenberg, Helmut
,
Wainer, S. S.
Published 2012
Cambridge University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA9.54
Read Now
9
Der Satz des Pythagoras in 365 Beweisen : Mathematische, kulturgeschichtliche und didaktische Überlegungen zum vielleicht berühmtesten Theorem der Mathematik
by
Gerwig, Mario
Published 2021
Springer Berlin Heidelberg
Subjects:
“
...
Proof
theory
...
”
Read Now
10
Linear logic in computer science
Published 2004
Cambridge University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA9.54
Read Now
11
Tracking reason : proof, consequence, and truth
by
Azzouni, Jody
Published 2006
Oxford University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA9.54
Read Now
12
Language, Logic, and Mathematics in Schopenhauer
Published 2020
Birkhäuser
Subjects:
“
...
Proof
theory
...
”
Read Now
13
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published 1999
Cambridge University Press
Subjects:
“
...
Proof
theory
/ Congresses...
”
Call Number:
QA248
Read Now
14
Set theory : Boolean-valued models and independence proofs
by
Bell, J. L.
Published 2005
Oxford University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA248
Read Now
15
Beweisen lernen Schritt für Schritt : für einen gelungenen Einstieg ins Mathestudium
by
Junk, Michael
,
Treude, Jan-Hendrik
Published 2020
Springer Berlin Heidelberg
Subjects:
“
...
Proof
theory
...
”
Read Now
16
A framework for priority arguments
by
Lerman, M.
Published 2010
Cambridge University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA9.54
Read Now
17
Logical foundations of proof complexity
by
Cook, Stephen
,
Nguyen, Phuong
Published 2010
Cambridge University Press
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA267.7
Read Now
18
Reductive logic and proof-search : proof theory, semantics, and control
by
Pym, David J.
Published 2004
Clarendon
Subjects:
“
...
Proof
theory
...
”
Call Number:
QA9
Read Now
19
Figurierte Zahlen : Veranschaulichung als heuristische Strategie
by
Ziegenbalg, Jochen
Published 2024
Springer Berlin Heidelberg
Subjects:
“
...
Proof
theory
...
”
Read Now
20
Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
by
Chatti, Saloua
Published 2019
Birkhäuser
Subjects:
“
...
Proof
theory
...
”
1
2
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
24
510 - Mathematics
6
000 - Computer science, information & general works
1
004 - Data processing & computer science
1
005 - Computer programming, programs & data
1
100 - Philosophy & psychology
1
more ...
109 - Historical & collected persons treatment
1
160 - Logic
1
200 - Religion
1
340 - Law
1
347 - Civil procedure & courts
1
500 - Natural sciences & mathematics
1
512 - Algebra
1
515 - Analysis
1
519 - Probabilities & applied mathematics
1
658 - General management
1
700 - The arts; fine & decorative arts
1
see all ...
less ...
Language
English
34
German
3
Collection
Springer eBooks 2005-
13
Cambridge Books Online
10
Elsevier eBook collection Mathematics
6
Oxford University Press
3
Directory of Open Access Books
2
O'Reilly
2
more ...
DeGruyter MPG Collection
1
see all ...
less ...
Author
Association for Symbolic Logic
2
Abbas, Mujahid
1
Azzouni, Jody
1
Barès, Michel
1
Bell, J. L.
1
Bimbó, Katalin
1
more ...
Bossé, Éloi
1
Brumberg-Chaumont, Julie
1
Buss, Samuel R.
1
Capelas de Oliveira, Edmundo
1
Chatti, Saloua
1
Citkin, Alex
1
Cook, Stephen
1
Cooper, S. B.
1
Craig, William
1
Cupillari, Antonella
1
Ehrhard, Thomas
1
Erciyes, K.
1
Fine, Benjamin
1
Gaglione, Anthony
1
Gerwig, Mario
1
Gusfield, Dan
1
Hastie, Trevor
1
Hounkonnou, Mahouton Norbert
1
Indrzejczak, Andrzej
1
Jarmużek, Tomasz
1
Junk, Michael
1
Khan, Madad
1
Krajíček, Jan
1
Lemanski, Jens
1
Lerman, M.
1
Logic Colloquium (1997, Leeds, England)
1
London Mathematical Society
1
Mitrović, Melanija
1
Moerdijk, Ieke
1
Myasnikov, Alexei
1
Mynard, Frédéric
1
Nance, Dale A.
1
Negri, Sara
1
Nguyen, Phuong
1
Pym, David J.
1
Ritter, Eike
1
Rosenberger, Gerhard
1
Rosental, Claude
1
Schwichtenberg, Helmut
1
Stanley Tanswell, Fenner
1
Szabo, M. E.
1
Sørensen, Morten Heine
1
Takeuti, Gaisi
1
Teixeira, Bárbara de Holanda Maia
1
Tibshirani, Robert
1
Treude, Jan-Hendrik
1
Truss, J. K.
1
Urzyczyn, Paweł
1
Von Plato, Jan
1
Wainer, S. S.
1
Wainwright, Martin
1
Wybraniec-Skardowska, Urszula
1
Ziegenbalg, Jochen
1
van Oosten, Jaap
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Proof+Theory%22&type=Subject
Send by Email
×
Loading...