A model-theoretic approach to proof theory /

Código QR

A model-theoretic approach to proof theory /

Detalles Bibliográficos
Autor principal:	Kotlarski, Henryk 1949-2008 (Autor/a)
Otros Autores:	Adamowicz, Zofia (Editor/a), Bigorajska, Teresa (Editor/a), Zdanowski, Konrad (Editor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Switzerland : Springer, c2019.
Colección:	Trends in logic Volume 51
Materias:	TEORIA DE LA PRUEBA LÓGICA, SIMBÓLICA Y MATEMÁTICA TEORIA DE MODELOS
Acceso en línea:	Ver documento en línea

Ejemplares similares

A logical introduction to proof /
por: Cunningham, Daniel Wendell
Publicado: (2012)

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

Introduction to mathematical proofs : a transition to advanced mathematics /
por: Roberts, Charles E. 1942-
Publicado: (2015)

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
por: Kino, A., et al.
Publicado: (1970)

Finite model theory /
por: Ebbinghaus, Heinz-Dieter 1939-, et al.
Publicado: (1999)

A course in model theory : an introduction to contemporary mathematical logic /
por: Poizat, Bruno, et al.
Publicado: (2000)

Introduction to mathematical proofs : a transition /
por: Roberts, Charles E. 1942-, et al.
Publicado: (2010)

Geometric stability theory /
por: Pillay, Anand, et al.
Publicado: (1996)

The theory of models: proceedings of the 1963 International Symposium at Berkeley. /
por: Tarski, Alfred, et al.
Publicado: (1965)

A course on basic model theory /
por: Sarbadhikari, Haimanti
Publicado: (2017)

Model theory and modules /
por: Prest, Mike, et al.
Publicado: (1988)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964)

Model theory /
por: Chang, C. C.
Publicado: (1973)

Proofs and refutations : the logic of mathematical discovery /
por: Lakatos, Imre, et al.
Publicado: (1976)

Introduction to set theory /
por: Hrbacek, Karel, et al.
Publicado: (1999)

Set theory and logic
por: Stoll, Robert Roth, et al.
Publicado: (1963)

Elements of set theory /
por: Zehna, Peter W., et al.
Publicado: (1962)

Set theory and logic /
por: Fraenkel, Abraham Adolf 1891-1965, et al.
Publicado: (1966)

Set theory and the continuum hypothesis /
por: Cohen, Paul J. 1934-, et al.
Publicado: (1966)

Sets, logic and axiomatic theories /
por: Stoll, Robert Roth, et al.
Publicado: (1961)

Theorie des modeles en logique mathematique /
por: Daigneault, Aubert 1932-
Publicado: (1967)

Algebraic theory of automata /
por: Gecseg, F., et al.
Publicado: (1972)

Degrees of unsolvability : structure and theory /
por: Epstein, Richard L. 1947 -, et al.
Publicado: (1964)

A new approach to logic
por: Katz, Robert 1922-, et al.
Publicado: (1964)

The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)

Symbolism and truth : an introduction to the theory of knowledge /
por: Eaton, Ralph Monroe
Publicado: (1925)

Quantum logic /
por: Mittelstaedt, Peter 1929-, et al.
Publicado: (1989)

New foundations for concept theory
por: Schock, Rolf 1933-, et al.
Publicado: (1969)

Fundamentals of generalized recursion theory /
por: Fitting, Melvin Chris, et al.
Publicado: (1981)

Sets and logic /
por: Hanna, Samuel C., et al.
Publicado: (1971)

Elements of logic and foundations of mathematics in problems /
por: Marek, Wiktor, et al.
Publicado: (1982)

Curso de lógica y teoría de conjuntos /
por: Alfaro Carvajal, Cristian 1977-
Publicado: (2015)

Foundations of the logical theory of scientific knowledge (complex logic) /
por: Zinoviev, Aleksandr 1922-, et al.
Publicado: (1973)

A proof theory for description logics /
por: Rademaker, Alexandre
Publicado: (2012)

Introduction to mathematical logic : set theory, computable functions, model theory /
por: Malitz, Jerome, et al.
Publicado: (1979)

Introduction to axiomatic set theory /
por: Takeuti, Gaisi 1926-2017 1926-
Publicado: (1971)

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israel Academy of Sciences an Humanities, Jerusalem, 11-14 november, 1968.
por: Bar, Hillel Yehoshua, et al.
Publicado: (1970)

Set theory and logic
por: Stoll, Robert R.
Publicado: (1963)

Elements of Set Theory /
por: Zehna, Peter W.
Publicado: (1962)

Principles of intuitionism : lectures presented at the summer Conference on Intuitionism and Proof theory (1968) at SUNY at Bufalo, N.Y.
por: Troelstra, Anne Sjerp 1939-
Publicado: (1964)