Cargando…

Proof theory

Detalles Bibliográficos
Autor principal:	Jervell, Herman Ruge
Lenguaje:	eng
Publicado:	Logos Verlag 2013
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2671445

Ejemplares similares

Logic and computations
por: Jervell, Herman Ruge
Publicado: (2012)

Proof theory
por: Schütte, Kurt
Publicado: (1977)

Proof theory: an introduction
por: Pohlers, Wolfram
Publicado: (1989)

Advances in proof theory
por: Kahle, Reinhard, et al.
Publicado: (2016)

Applied proof theory: proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich
Publicado: (2008)

Proof theory for fuzzy logics
por: Metcalfe, G, et al.
Publicado: (2009)

Proof theory and intuitionistic systems
por: Scarpellini, Bruno
Publicado: (1971)

Proof theory of modal logic
por: Wansing, Heinrich
Publicado: (1996)

Goal-directed proof theory
por: Gabbay, Dov M, et al.
Publicado: (2000)

Summer Conference on Intuitionism and Proof theory
por: Troelstra, A S
Publicado: (1969)

Set theory an introduction to independence proofs
por: Kunen, K
Publicado: (1984)

A proof theory for general unification
por: Snyder, Wayne
Publicado: (1991)

Proof theory: the first step into impredicativity
por: Pohlers, Wolfram
Publicado: (2009)

Hybrid Logic and its Proof-Theory
por: Brauner, Torben
Publicado: (2011)

Complexity of proofs and their transformations in axiomatic theories
por: Orevkov, V P, et al.
Publicado: (1993)

Proof theory : sequent calculi and related formalisms
por: Bimbó, Katalin
Publicado: (2015)

The semantics and proof theory of the logic of bunched implications
por: Pym, David J
Publicado: (2002)

A model–theoretic approach to proof theory
por: Adamowicz, Zofia, et al.
Publicado: (2019)

Mathematical problems and proofs: combinatorics, number theory, and geometry
por: Kisacanin, Branislav
Publicado: (1998)

Set theory: Boolean-valued models and independence proofs
por: Bell, John L
Publicado: (2005)

Factors and factorizations of graphs: proof techniques in factor theory
por: Akiyama, Jin, et al.
Publicado: (2011)

Simplified independence proofs: Boolean valued models of set theory
por: Rooser, J Barkley
Publicado: (2014)

Truth, proof and infinity: a theory of constructions and constructive reasoning
por: Hintikka, Jaakko, et al.
Publicado: (2010)

An introduction to mathematical logic and type theory to truth through proof
por: Andrews, Peter B
Publicado: (2002)

The elementary theory of groups: a guide through the proofs of the Tarski conjectures
por: Fine, Benjamin, et al.
Publicado: (2014)

Elementary theory of metric spaces: a course in constructing mathematical proofs
por: Reisel, Robert B
Publicado: (1982)

The nuts and bolts of proofs: an introduction to mathematical proofs
por: Cupillari, Antonella
Publicado: (2005)

The Proof is in the Pudding: The Changing Nature of Mathematical Proof
por: Krantz, Steven G
Publicado: (2011)

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
por: Cupillari, Antonella
Publicado: (2011)

A proof of the crossing property for two-particle amplitudes in general quantum field theory
por: Bros, J, et al.
Publicado: (1965)

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

Model theory and algebraic geometry: an introduction to E. Hrushovski’s proof of the geometric Mordell-Lang conjecture
por: Bouscaren, Elisabeth
Publicado: (1998)

Proof complexity
por: Krajíček, Jan
Publicado: (2019)

Algebra of proofs
por: Szabo, M E, et al.
Publicado: (2016)

Proof patterns
por: Joshi, Mark
Publicado: (2015)

Numbers and proofs
por: Allenby, Reg
Publicado: (1997)

Gödel's proof
por: Nagel, Ernest, et al.
Publicado: (1959)

Proofs and Computations
por: Schwichtenberg, Helmut, et al.
Publicado: (2011)

Sets, models and proofs
por: Moerdijk, Ieke, et al.
Publicado: (2018)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_5q3ktiobgmu8buqnvuvm32c1fr