Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Undecidable Theories

Studies in Logic and the Foundation of Mathematics

Limba englezăengleză
Carte Carte broșată
Carte Undecidable Theories Alfred Tarski
Codul Libristo: 02568778
Editura Dover Publications Inc., august 2010
I. A General Method in Proofs of Undecidability by Alfred Tarski I.1. Introduction I.2. Theor... Descrierea completă
? points 31 b
67.09 lei
În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Top
Introduction to Logic and to the Methodology of Deductive Sciences Alfred Tarski / Carte Carte broșată
common.buy 68.54 lei
Tensor and Vector Analysis Springer / Carte Carte broșată
common.buy 87.55 lei
Naive Set Theory Paul R. Halmos / Carte Carte broșată
common.buy 66.16 lei
Leftin
Probability Theory A. Renyi / Carte Carte broșată
common.buy 95.86 lei
Introduction to Lebesgue Integration and Fourier Series Howard J. Wilcox / Carte Carte broșată
common.buy 71.35 lei
First Look at Perturbation Theory James G. Simmonds / Carte Carte broșată
common.buy 54.94 lei
Top
Elementary Mathmatics from an Advan Felix Klein / Carte Carte broșată
common.buy 67.09 lei
Elements of the Theory of Functions and Functional Analysis [Two Volumes in One] S V Fomin / Carte Carte broșată
common.buy 65.95 lei
Faster Than Light Jamie Lendino / Carte Carte broșată
common.buy 115.29 lei
Top
Serpent Rising Neven Paar / Carte Carte broșată
common.buy 205.45 lei
Arte e astrologia nel palazzo Schifanoja di Ferrara Aby Warburg / Carte Carte broșată
common.buy 118.30 lei
Calculus infinitesimalis. Pars prima Petr Vopěnka / Carte Carte broșată
common.buy 32.92 lei
Logika pro všechny ochotné myslet Antonín Sochor / Carte Carte broșată
common.buy 70.52 lei
Kniha džunglí Rudyard Kipling / Carte Carte broșată
common.buy 49.54 lei
Altsysteme warten und erweitern mit COBOL Uwe Rozanski / Carte Carte broșată
common.buy 198.18 lei
Mashle: Magic and Muscles 11 Hajime Komoto / Carte Carte broșată
common.buy 36.34 lei
A Varázsfogadó - Egy boszorkány kézikönyve Mandanna / Carte Carte broșată
common.buy 80.08 lei
Zvířátka z Kouzelného lesa Srnečka Sisi Lily Small / Carte Copertă tare
common.buy 37.80 lei
August Comte, der Begründer des Positivismus Hermann Gruber / Carte Carte broșată
common.buy 104.07 lei
La boîte Jouissance Club Jüne Plã / Carte Carte broșată
common.buy 134.50 lei
BERNARD ANDRES - EPICES POUR HARPE (1ER CAHIER) ANDRES Carte binding.
common.buy 178.44 lei
Les Baluba Lwa Malale / Carte Carte broșată
common.buy 201.81 lei
Jak se dělá film Ondřej Beránek / Carte Copertă tare
common.buy 55.98 lei
Formální logika a sémantický web Alena Lukasová / Carte Foaie
common.buy 59.92 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Undecidable Theories
Autor Alfred Tarski, Andrzej Mostowski, Raphael R Robinson
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 112
EAN 9780486477039
ISBN 0486477037
Codul Libristo 02568778
Editura Dover Publications Inc.
Greutatea 126
Dimensiuni 215 x 159 x 6

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Groups & group theory
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Introduction to Logic: and to the Methodology of Deductive Sciences Alfred Tarski / Carte Carte broșată
common.buy 63.56 lei
Critical Thinking and Logical Reasoning Workbook-0 Ranga Raghuram / Carte Carte broșată
common.buy 56.91 lei
Model Theory Chen Chung Chang / Carte Carte broșată
common.buy 149.05 lei
Axiom of Choice Thomas J Jech / Carte Carte broșată
common.buy 67.09 lei
Topoi Robert Goldblatt / Carte Carte broșată
common.buy 128.48 lei
First-order Logic Raymond M. Smullyan / Carte Carte broșată
common.buy 50.78 lei
Category Theory in Context Riehl / Carte Carte broșată
common.buy 149.05 lei
Haskell Road to Logic, Maths and Programming Kees Doets / Carte Carte broșată
common.buy 131.91 lei
Alfred Tarski Anita Burdman Feferman / Carte Carte broșată
common.buy 219.99 lei
Introduction to Lattices and Order B. A. Davey / Carte Carte broșată
common.buy 329.26 lei
Can You Solve My Problems? Alex Bellos / Carte Carte broșată
common.buy 66.16 lei
Set Theory and the Continuum Hypothesis Paul J Cohen / Carte Carte broșată
common.buy 67.09 lei
Alfred Tarski Anita Burdman FefermanSolomon Feferman / Carte Copertă tare
common.buy 915.20 lei
Abstract Algebraic Logic. An Introductory Textbook Josep Maria Font / Carte Carte broșată
common.buy 163.48 lei
Mathematical Olympiad Challenges Titu Andreescu / Carte Carte broșată
common.buy 362.30 lei
RHS The Gardener's Book of Patterns Jack Wallington / Carte Copertă tare
common.buy 196.20 lei
The Turbulent Duchess (1915) Percy James Brebner / Carte Carte broșată
common.buy 194.44 lei
Good Manufacturing Practice Guideline for Pharmaceutical Industry Awab Younus / Carte Carte broșată
common.buy 124.32 lei
Top
Letters from a Stoic Lucius Annaeus Seneca / Carte Carte broșată
common.buy 25.54 lei
Who Owns Your Soul?: Series Vol. 3 Doreen Mampani / Carte Carte broșată
common.buy 101.47 lei
Becoming E. J. Nielsen / Carte Carte broșată
common.buy 216.77 lei
Remains Daniel Ford / Carte Carte broșată
common.buy 71.56 lei
Ima Koi: Now I'm in Love, Vol. 4 Ayuko Hatta / Carte Carte broșată
common.buy 48.71 lei
John Deere Kids Farm: 500 Stickers and Puzzle Activities: Fold Out and Play! Parragon Books / Carte Carte broșată
common.buy 48.91 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?