Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Undecidable Theories

Main
Mathematics - Logic
Undecidable Theories

Undecidable Theories

Alfred Tarski, Andzej Mostowski, Raphael M. Robinson

5.0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Categorías:

Mathematics - Logic

Año:

1971

Editorial:

Elsevier Science

Idioma:

english

Páginas:

105

ISBN 10:

0444533788

ISBN 13:

9780720422467

Serie:

Studies in Logic and the Foundations of Mathematics 13

Archivo:

PDF, 1.32 MB

IPFS:

,

english, 1971

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

Alfred Tarski with appendices by C.-C. Chang and B. Jónsson — Ordinal Algebras

Tarski Alfred — Problem Concerning the Notion of Definability

Tarski Alfred — Semantic Conception of Truth

Tarski Alfred — Undecidable Statements and the Concept of Truth

Alfred Tarski — Logic, Semantics, Metamathematics. Papers from 1923 to 1938

Alfred Tarski — Introduction à la logique

Quine, Willard Van Orman — Elementary Logic

Gottlob Frege — The foundations of arithmetic;: A logico-mathematical enquiry into the concept of number

Tarski Alfred — Logics Semantics Mathematics

Willard Van Orman Quine — Methods of Logic

Leon Henkin, Patrick Suppes, Alfred Tarski (eds.) — The Axiomatic Method: With Special Reference to Geometry and Physics

Stewart Shapiro — Foundations without Foundationalism: A Case for Second-Order Logic

Kurt Godel — Collected Works: Volume II: Publications 1938-1974 (Godel, Kurt Collected Works)

Alfred Tarski, Jan Tarski — Introduction to Logic and to the Methodology of Deductive Sciences

Kurt Gödel, [English transcription = Kurt Goedel] — Kurt Goedel - Collected Works: Volume III: Unpublished essays and lectures

Solomon Feferman — In the Light of Logic

William Bragg Ewald — From Kant to Hilbert: A source book in the foundations of mathematics

Richard Kaye — Models of Peano Arithmetic

Roman Kossak, Jim Schmerl — The Structure of Models of Peano Arithmetic

Yuri Matiyasevich, Martin Davis, Hilary Putnam — Hilbert's tenth problem

Hartley Rogers — Theory of Recursive Functions and Effective Computability

J. Donald Monk — Mathematical Logic

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

Tarski A — Undecidable theories

C.C. Chang and H.J. Keisler (Eds.) — Model Theory

Rudolf Carnap — Philosophical Foundations of Physics: An Introduction to the Philosophy of Science

Alfred Tarski — Introduction to Logic: and to the Methodology of Deductive Sciences

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

C.C. Chang, H. Jerome Keisler — Model Theory: Third Edition

Kurt Gödel — On Formally Undecidable Propositions of Principia Mathematica and Related Systems

George S. Boolos — The Logic of Provability

Anita Burdman Feferman, Solomon Feferman — Alfred Tarski: Life and Logic

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper — Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Willard Van Orman Quine — Mathematical Logic

Quine, Quine Willard Van Orman — Philosophy of logic

Abraham Robinson — Non-standard Analysis

G Kreisel, J L Krivine — Elements of Mathematical Logic: Model Theory (Stud. in Logic & Maths.)

Ernest Nagel, Patrick Suppes and Alfred Tarski (Eds.) — Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

Gottlob Frege, Rudolf Carnap, Steve Awodey, Erich Rech, Gottfried Gabriel — Frege's lectures on logic: Carnap's student notes, 1910-1914

Greg Frost-Arnold — Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science

A. Tarski; Gian-Carlo Rota (ed.) — Alfred Tarski: Collected Papers. Volume 1: 1921-1934

A. Tarski; Gian-Carlo Rota (ed.) — Alfred Tarski: Collected Papers. Volume 2: 1935-1944

Términos más frecuentes

Listas de libros relacionados