- 2 402 202 книги
- Поиск
Proof Theory: History and Philosophical Significance (Synthese Library, 292)
Автор: Vincent F. Hendricks, Автор: Stig Andur Pedersen, Автор: Klaus Frovin JorgensenКатегория: История
Размер книги: 3.25 Mb
Hybrid Logic and its Proof-Theory (Applied Logic Series, 37)
Автор: Torben BraunerКатегория: Математика, Прикладная математика
Размер книги: 1.95 Mb
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
Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics)
Автор: Samuel R BussКатегория: Образование
Размер книги: 35.43 Mb
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
Автор: Jean-Yves GirardКатегория: Образование
Размер книги: 3.82 Mb
Proof Theory for Fuzzy Logics (Applied Logic Series, Volume 36)
Автор: George Metcalfe, Автор: Nicola Olivetti, Автор: Dov GabbayКатегория: Математика, Прикладная математика
Размер книги: 1.78 Mb
Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)
Автор: A. S. Troelstra, Автор: H. Schwichtenberg, Автор: Anne S. TroelstraКатегория: Компьютеры
Размер книги: 3.30 Mb
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
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Автор: Shawn Hedman
Размер книги: 3.39 Mb
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science)
Автор: James H. Andrews
Размер книги: 4.72 Mb
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
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (PCS))
Автор: W. Snyder
Размер книги: 2.69 Mb
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
Handbook of Proof Theory
Автор: Samuel R. Buss (Editor)Категория: Математика, Математическая логика
Размер книги: 35.35 Mb
Mathematical Problems and Proofs : Combinatorics, Number Theory, and Geometry
Автор: Branislav KisacaninКатегория: Математика, Геометрия и топология
Размер книги: 1.29 Mb
Normalization, Cut-Elimination, and the Theory of Proofs (Center for the Study of Language and Information - Lecture Notes)
Автор: A. M. UngarКатегория: Языкознание
Размер книги: 6.79 Mb
Factors and factorizations of graphs. Proof techniques in factor theory
Автор: Kano M., Автор: Akiyama J.Категория: M_Mathematics, Mln_Lecture notes
Размер книги: 2.29 Mb
An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof
Автор: Peter B. Andrews
Размер книги: 5.60 Mb
Innovations in Evidence and Proof: Integrating Theory, Research and Teaching
Автор: Paul Roberts, Автор: Mike Redmayne
Размер книги: 2.87 Mb
Factors and Factorizations of Graphs: Proof Techniques in Factor Theory (Lecture Notes in Mathematics, 2031)
Автор: Jin Akiyama, Автор: Mikio Kano
Размер книги: 2.41 Mb
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Автор: Shawn Hedman
Размер книги: 6.84 Mb
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
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
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
Автор: David J. Pym, Автор: Eike Ritter
Размер книги: 4.91 Mb
Computation and Proof Theory
Автор: Richter M.M. (ed.), Автор: Borger E. (ed.), Автор: Oberschelp W. (ed.)
Размер книги: 1.75 Mb
Applied proof theory: Proof interpretations and their use in mathematics
Автор: Ulrich KohlenbachКатегория: Mathematical logic
Размер книги: 4.22 Mb
Proof theory
Автор: K. Schütte, Автор: J.N. CrossleyКатегория: Mathematical logic
Размер книги: 2.89 Mb
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
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
Proof Theory. An Introduction
Автор: Wolfram Pohlers, Автор: PohlersКатегория: Lecture notes
Размер книги: 1.55 Mb
Proof Theory and Intuitionistic Systems
Автор: Bruno ScarpelliniКатегория: Lecture notes
Размер книги: 2.08 Mb
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Автор: Anne S. TroelstraКатегория: Lecture notes
Размер книги: 705 Kb
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
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
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
Proof Theory in Computer Science, PTCS 2001
Автор: Reinhard Kahle, Автор: Peter Schroeder-Heister, Автор: Robert StärkКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.73 Mb
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Автор: Christiane Stenger
Размер книги: 24.86 Mb
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Автор: Shawn Hedman
Размер книги: 3.63 Mb
First Course in Logic; An introduction to model theory, proof theory, computability, and complexity
Автор: Hedman S.
Размер книги: 22.61 Mb
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Автор: Shawn Hedman
Размер книги: 6.80 Mb
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Автор: Shawn Hedman
Размер книги: 6.96 Mb
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Автор: A. S. Troelstra, Автор: H. Schwichtenberg, Автор: Anne S. Troelstra
Размер книги: 6.14 Mb
Proof Theory: History and Philosophical Significance (Synthese Library)
Автор: Vincent F. Hendricks, Автор: Stig Andur Pedersen, Автор: Klaus Frovin Jørgensen
Размер книги: 3.25 Mb
Intuitionism and proof theory: Proceedings Buffalo, 1968
Автор: Lev D. Beklemishev
Размер книги: 3.04 Mb
Structural proof theory
Автор: Professor Sara Negri, Автор: Jan von Plato, Автор: Aarne Ranta
Размер книги: 1.45 Mb
Logic Programming: Operational Semantics and Proof Theory
Автор: James H. Andrews
Размер книги: 681 Kb
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Автор: Kohlenbach U.Категория: Математика
Размер книги: 8.44 Mb
Proof Theory: The First Step into Impredicativity
Автор: Pohlers W.Категория: Математика
Размер книги: 7.15 Mb
Goal-Directed Proof Theory
Автор: Dov M. Gabbay, Автор: N. Olivetti, Автор: Nicola Olivetti
Размер книги: 1.33 Mb
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Автор: Shawn Hedman
Размер книги: 1.78 Mb
Stenlund S. Combinators,lambda-terms and proof theory(1972)(T)(187s)(600dpi)_MAml_.djvu
Автор:
Размер книги: 1.44 Mb
The Proof of Fermat's Last Theorem
Автор: Boston N.Категория: Mathematics, Number theory
Размер книги: 583 Kb
Proof of Fermat's theorem
Автор: McGinnis M.Категория: Mathematics, Number theory
Размер книги: 704 Kb
QED: a proof of renormalizability
Автор: Joel S. Feldman, Автор: Thomas R. Hurd, Автор: Lon Rosen, Автор: Jill D. Wright
Размер книги: 907 Kb
The Fourier-analytic proof of quadratic reciprocity
Автор: Michael C. BergКатегория: Number theory
Размер книги: 1.00 Mb
Math. problems and proofs combinatorics, number theory and geometry
Автор: B. KisacaninКатегория: Математика, Number theory
Размер книги: 8.61 Mb
Mathematical Problems And Proofs Combinatorics, Number Theory, and Geometry
Автор:Категория: Математика, Number theory
Размер книги: 8.61 Mb
Mathematical problems and proofs. Combinatorics, Number theory, and Geometry
Автор: Kisacanin B.
Размер книги: 1.31 Mb
Simplified independence proofs. Boolean valued models of set theory
Автор: J. Barkley RosserКатегория: Mathematical logic
Размер книги: 2.34 Mb
Theory of Elastic Systems Vibrating under Transient Impulse with an Application to Earthquake-Proof Buildings
Автор: Biot M.
Размер книги: 434 Kb
Essentials of Mathematics: Introduction to Theory, Proof, and the..
Автор: Margie HaleКатегория: Математика
Размер книги: 3.48 Mb
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
Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry
Автор: Branislav Kisacanin
Размер книги: 5.78 Mb
Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry
Автор: Branislav Kisacanin
Размер книги: 5.85 Mb
Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry
Автор: Branislav Kisacanin
Размер книги: 21.99 Mb
Mathematical Problems And Proofs - Combinatorics, Number Theory, and Geometry
Автор: Kisacanin
Размер книги: 8.51 Mb
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Автор: Peter B. AndrewsКатегория: science_books, math
Размер книги: 25.75 Mb
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Автор: Peter B. Andrews
Размер книги: 5.60 Mb
Simplified independence proofs. Boolean valued models of set theory.
Автор: J.Barkley Rosser
Размер книги: 9.00 Mb
Mathematical Problems and Proofs - Combinatorics, Number Theory and Geometry
Автор: Branislav Kisacanin
Размер книги: 8.62 Mb
Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry
Автор: Branislav Kisacanin
Размер книги: 8.63 Mb
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.