Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Undecidable Theories

Studies in Logic and the Foundation of Mathematics

Alfred Tarski

Andrzej Mostowski

Raphael R Robinson

Language

English

Book Paperback

Libristo code: 02568778

Publishers Dover Publications Inc., August 2010

I. A General Method in Proofs of Undecidability by Alfred Tarski I.1. Introduction I.2. Theor... Full description

Libristo code: 02568778

32 b

4 685 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

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

Paperback

4 745 Ft

Naive Set Theory Paul R. Halmos

Paperback

4 464 Ft

Introduction to Lebesgue Integration and Fourier Series Howard J. Wilcox

Paperback

4 975 Ft

First Look at Perturbation Theory James G. Simmonds

Paperback

3 838 Ft

Tensor and Vector Analysis Springer

Paperback

6 130 Ft

Probability Theory A. Renyi

Paperback

6 466 Ft

Elementary Mathmatics from an Advan Felix Klein

Paperback

4 685 Ft

Serpent Rising Neven Paar

Paperback

14 258 Ft

Elements of the Theory of Functions and Functional Analysis [Two Volumes in One] S V Fomin

Paperback

4 552 Ft

Faster Than Light Jamie Lendino

Paperback

7 967 Ft

Arte e astrologia nel palazzo Schifanoja di Ferrara Aby Warburg

Paperback

8 229 Ft

Calculus infinitesimalis. Pars prima Petr Vopěnka

Paperback

2 218 Ft

Logika pro všechny ochotné myslet Antonín Sochor

Paperback

4 759 Ft

Hody Půsty Masopusty Kamila Skopová

Hardback

4 349 Ft

Blood on the Tracks 15 Jan-Christoph Müller

Paperback

4 216 Ft

ELANTRIS BRANDON SANDERSON

Hardback

5 412 Ft

Kniha džunglí Rudyard Kipling

Paperback

3 341 Ft

Formální logika a sémantický web Alena Lukasová

Sheet

4 041 Ft

Jak se dělá film Ondřej Beránek

Hardback

3 778 Ft

Uvedení do obecné topologie a jejích dějin do roku 1960 Petr Vopěnka

Paperback

3 792 Ft

I. A General Method in Proofs of Undecidability by Alfred Tarski I.1. Introduction I.2. Theories with standard formalization I.3. Undecidable and essentially undecidable theories I.4. Interpretability and weak interpretability I.5. Relativization of quantifiers I.6. Examples and applications II. Undecidability and Essential Undecidability in Arithmetic by Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski II.1. A summary of results; notation II.2. Definability in arbitrary theories II.3. Formalized arithmetic of natural numbers and its subtheories II.4. Recursiveness and definability in subtheories of arithmetic II.5. Undecidability of subtheories of arithmetic II.6. Extension of the results to other arithmetical theories and to various theories of rings III. Undecidability of the Elementary Theory of Groups by Alfred Tarski Bibliography Index