Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

phone

Kontakt

phone

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

0

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Knjiga Proof Theory Takeuti

Proof Theory

Jezik

Angleščina

Knjiga Mehka

Knjiga Proof Theory Takeuti

Koda Libristo: 02569150

Založba Dover Publications Inc., januar 2013

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1.... Celoten opis

Koda Libristo: 02569150

?

points

44 b

18.23 €

50% možnost Preiskali bomo ves svet Kdaj dobim knjigo?

Do 30 dni za vračilo

Drugi so kupili tudi

Basic Proof Theory Anne S. Troelstra

/

Mehka

65.56 €

Type Theory and Formal Proof Rob Nederpelt

/

Trda

95.26 €

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1. First Order Predicate Calculus 2. Peano Arithmetic Part II. Second Order and Finite Order Systems 3. Second Order Systems and Simple Type Theory 4. Infinitary Logic Part III. Consistency Problems 5. Consistency Proofs 6. Some Applications of Consistency Proofs Postscript Appendix Index

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Ewa Kasp

Ewa Kasp

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Proof Theory

Avtor Takeuti

Jezik

Angleščina

Vezava Knjiga - Mehka

Datum izida 2013

Število strani 384

EAN 9780486490731

ISBN 0486490734

Koda Libristo 02569150

Založba Dover Publications Inc.

Teža 622

Mere 152 x 229 x 26

Kategorije

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Podarite to knjigo še danes

To je povsem preprosto

1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Axiom of Choice Thomas J Jech

/

Mehka

11.34 €

Category Theory in Context Riehl

/

Mehka

25.12 €

Mathematics of Relativity George Y. Rainich

/

Mehka

11.34 €

Proof Theory of N4-Paraconsistent Logics Heinrich (Universitat Leipzig) Wansing

/

Mehka

24.31 €

Conceptual Mathematics F William Lawvere

/

Mehka

68.20 €

Wealth of Nations Adam Smith

/

Mehka

6.17 €

Handbook of Proof Theory S. R. Buss

/

Trda

194.17 €

Handbook of Proof Theory S.R. Buss

/

Adobe ePub DRM

176.74 €

Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies Alfred S. Posamentier

/

Mehka

25.33 €

Proofs and Refutations Imre Lakatos

/

Mehka

21.07 €

FUZZY SETS & FUZZY LOGIC George J. Klir

/

Mehka

119.48 €

Introduction to Proof Theory Mancosu

/

Mehka

33.84 €

How to Prove It Daniel J. Velleman

/

Mehka

45.70 €

How to Prove It Daniel J. Velleman

/

Trda

130.02 €

Origin of Continents and Oceans Alfred Wegener

/

Mehka

14.79 €

Algorithms for Minimization Without Derivatives Richard P Brent

/

Mehka

11.34 €

Categories for the Working Mathematician Saunders Mac Lane

/

Trda

53.40 €

New History of Western Philosophy Anthony Kenny

/

Mehka

21.78 €

Interactive Theorem Proving and Program Development Yves Bertot

/

Trda

114.31 €

Interactive Theorem Proving and Program Development Yves Bertot

/

Mehka

81.07 €

Titanic Coloring Book P F Copeland

/

Mehka

4.45 €

Rockets Robert Goddard

/

Trda

9.92 €

Rotations, Quaternions, and Double Groups Simon L Altmann

/

Mehka

14.79 €

Variantional Principles B L Moiseiwitsch

/

Mehka

13.37 €