Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Undecidable Theories

Studies in Logic and the Foundation of Mathematics

Alfred Tarski

Andrzej Mostowski

Raphael R Robinson

Sprache

Englisch

Buch Broschur

Libristo-Code: 02568778

Verlag Dover Publications Inc., August 2010

I. A General Method in Proofs of Undecidability by Alfred Tarski I.1. Introduction I.2. Theor... Vollständige Beschreibung

Libristo-Code: 02568778

31 b

12.69 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

12.99 €

Introduction to Lebesgue Integration and Fourier Series Howard J. Wilcox

Broschur

13.49 €

First Look at Perturbation Theory James G. Simmonds

Broschur

10.39 €

Tensor and Vector Analysis Springer

Broschur

16.49 €

Probability Theory A. Renyi

Broschur

24.69 €

Elementary Mathmatics from an Advan Felix Klein

Broschur

12.69 €

Naive Set Theory Paul R. Halmos

Broschur

10.09 €

Faster Than Light Jamie Lendino

Broschur

18.19 €

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

Broschur

10.39 €

Serpent Rising Neven Paar

Broschur

31.29 €

Arte e astrologia nel palazzo Schifanoja di Ferrara Aby Warburg

Broschur

22.29 €

Calculus infinitesimalis. Pars prima Petr Vopěnka

Broschur

5.59 €

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

Broschur

12.09 €

Hody Půsty Masopusty Kamila Skopová

Hardcover

9.39 €

ELANTRIS BRANDON SANDERSON

Hardcover

11.79 €

Kniha džunglí Rudyard Kipling

Broschur

7.29 €

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

Hardcover

9.59 €

Messages mystères Disney

Broschur

19.69 €

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

Broschur

9.59 €

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Undecidable Theories

Autor Alfred Tarski, Andrzej Mostowski, Raphael R Robinson

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 112

EAN 9780486477039

ISBN 0486477037

Libristo-Code 02568778

Verlag Dover Publications Inc.

Gewicht 126

Abmessungen 215 x 159 x 6

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Mathematik und Naturwissenschaften > Mathematik > Gruppen und Gruppentheorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert