- 2 402 202 книги
#2
Proof Theory: History and Philosophical Significance (Synthese Library, 292)
Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin JorgensenКатегория: История
3.25 Mb
#3
Hybrid Logic and its Proof-Theory (Applied Logic Series, 37)
Torben BraunerКатегория: Математика, Прикладная математика
1.95 Mb
#4
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic, 1)
Shawn HedmanКатегория: Образование
1.79 Mb
#6
Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics)
Samuel R BussКатегория: Образование
35.43 Mb
#7
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
Jean-Yves GirardКатегория: Образование
3.82 Mb
#8
Proof Theory for Fuzzy Logics (Applied Logic Series, Volume 36)
George Metcalfe, Nicola Olivetti, Dov GabbayКатегория: Математика, Прикладная математика
1.78 Mb
#9
Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)
A. S. Troelstra, H. Schwichtenberg, Anne S. TroelstraКатегория: Компьютеры
3.30 Mb
#10
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic, 1)
Shawn HedmanКатегория: Образование
2.77 Mb
#11
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Shawn Hedman
3.39 Mb
#12
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science)
James H. Andrews
4.72 Mb
#13
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Per Martin-Löf
645 Kb
#17
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (PCS))
W. Snyder
2.69 Mb
#18
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Per Martin-Lof
2.35 Mb
#19
Handbook of Proof Theory
Samuel R. Buss (Editor)Категория: Математика, Математическая логика
35.35 Mb
#20
Mathematical Problems and Proofs : Combinatorics, Number Theory, and Geometry
Branislav KisacaninКатегория: Математика, Геометрия и топология
1.29 Mb
#21
Normalization, Cut-Elimination, and the Theory of Proofs (Center for the Study of Language and Information - Lecture Notes)
A. M. UngarКатегория: Языкознание
6.79 Mb
#22
Factors and factorizations of graphs. Proof techniques in factor theory
Kano M., Akiyama J.Категория: M_Mathematics, Mln_Lecture notes
2.29 Mb
#23
An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof
Peter B. Andrews
5.60 Mb
#24
Innovations in Evidence and Proof: Integrating Theory, Research and Teaching
Paul Roberts, Mike Redmayne
2.87 Mb
#25
Factors and Factorizations of Graphs: Proof Techniques in Factor Theory (Lecture Notes in Mathematics, 2031)
Jin Akiyama, Mikio Kano
2.41 Mb
#30
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn Hedman
6.84 Mb
#31
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
2.52 Mb
#32
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128
Georg Gottlob, Alexander Leitsch, Daniele Mundici
24.09 Mb
#34
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
David J. Pym, Eike Ritter
4.91 Mb
#39
Applied proof theory: Proof interpretations and their use in mathematics
Ulrich KohlenbachКатегория: Mathematical logic
4.22 Mb
#41
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. ThomasКатегория: Lecture notes
2.94 Mb
#42
ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974
J. Diller, G.H. MüllerКатегория: Lecture notes
2.47 Mb
#45
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Anne S. TroelstraКатегория: Lecture notes
705 Kb
#46
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics)
J. Diller, G.H. Müller
13.33 Mb
#49
Computational Logic and Proof Theory 3 conf., KGC'93, Brno, Czech Republic, August 24-27, 1993
Georg Gottlob, Alexander Leitsch, Daniele MundiciКатегория: Cs_Computer science, CsLn_Lecture notes
2.95 Mb
#50
Computational Logic and Proof Theory 5 conf., KGC'97, Vienna, Austria, August 25-29, 1997
Georg Gottlob, Alexander Leitsch, Daniele MundiciКатегория: Cs_Computer science, CsLn_Lecture notes
3.05 Mb
#51
Proof Theory in Computer Science, PTCS 2001
Reinhard Kahle, Peter Schroeder-Heister, Robert StärkКатегория: Cs_Computer science, CsLn_Lecture notes
1.73 Mb
#52
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Christiane Stenger
24.86 Mb
#54
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn Hedman
3.63 Mb
#55
First Course in Logic; An introduction to model theory, proof theory, computability, and complexity
Hedman S.
22.61 Mb
#57
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn Hedman
6.80 Mb
#58
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Shawn Hedman
6.96 Mb
#60
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
A. S. Troelstra, H. Schwichtenberg, Anne S. Troelstra
6.14 Mb
#61
Proof Theory: History and Philosophical Significance (Synthese Library)
Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen
3.25 Mb
#71
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Kohlenbach U.Категория: Математика
8.44 Mb
#75
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn Hedman
1.78 Mb
#79
QED: a proof of renormalizability
Joel S. Feldman, Thomas R. Hurd, Lon Rosen, Jill D. Wright
907 Kb
#80
The Fourier-analytic proof of quadratic reciprocity
Michael C. BergКатегория: Number theory
1.00 Mb
#81
Math. problems and proofs combinatorics, number theory and geometry
B. KisacaninКатегория: Математика, Number theory
8.61 Mb
#82
Mathematical Problems And Proofs Combinatorics, Number Theory, and Geometry
Категория: Математика, Number theory
8.61 Mb
#84
Mathematical problems and proofs. Combinatorics, Number theory, and Geometry
Kisacanin B.
1.31 Mb
#85
Simplified independence proofs. Boolean valued models of set theory
J. Barkley RosserКатегория: Mathematical logic
2.34 Mb
#87
Theory of Elastic Systems Vibrating under Transient Impulse with an Application to Earthquake-Proof Buildings
Biot M.
434 Kb
#88
Essentials of Mathematics: Introduction to Theory, Proof, and the..
Margie HaleКатегория: Математика
3.48 Mb
#90
A complete proof of the Poincare and geometrization conjectures - application of the Hamilton-Perelman theory of the Ricci flow
Huai-Dong Cao, Xi-Ping Zhu.
2.11 Mb
#91
Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry
Branislav Kisacanin
5.78 Mb
#92
Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry
Branislav Kisacanin
5.85 Mb
#93
Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry
Branislav Kisacanin
21.99 Mb
#95
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. AndrewsКатегория: science_books, math
25.75 Mb
#97
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews
5.60 Mb
Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.