Menü
Alle
Direkt bestellen
Wunschlisten
Warenkorb
DeutschlandCard

BLITZANGEBOTE - nur solange der Aktions-Vorrat reicht!

Proof Theory / Dover Publications (ePub)

(Sprache: Englisch)
Autor: Gaisi Takeuti
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Proof Theory / Dover Publications".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
Proof Theory / Dover Publications, Gaisi Takeuti
 
Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics....
Mehr zum Inhalt Family Sharing Video
sofort als Download lieferbar

Bestellnummer: 72914872

eBook 29.49 €
Download bestellen
Verschenken
Mehr Bücher des Autors
Two Applications of Logic to Mathematics / Princeton University Press

Two Applications of Logic to Mathematics / Princeton University Press

Gaisi Takeuti

0 Sterne
eBook

30.49 €

Download bestellen
Erschienen am 08.03.2015
sofort als Download lieferbar
Video zum Produkt
Produktdetails
Produktinformationen zu „Proof Theory / Dover Publications (ePub)“

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics.
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.

Bibliographische Angaben
  • Autor: Gaisi Takeuti
  • 2013, Englisch
  • Verlag: Dover Publications
  • ISBN-10: 0486320677
  • ISBN-13: 9780486320670
  • Erscheinungsdatum: 10.10.2013

Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen
  • Dateiformat: ePub
  • Größe: 28 MB
  • Mit Kopierschutz
  • Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Family Sharing

eBooks und Audiobooks (Hörbuch-Downloads) mit der Familie teilen und gemeinsam genießen. Mehr Infos hier.

Kommentar zu "Proof Theory / Dover Publications"
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Proof Theory / Dover Publications".

Kommentar verfassen
Wie funktionieren Bewertungen?
Andere Kunden kauften auch
Tomatenpflanze Balkontomate

Tomatenpflanze Balkontomate

4 Sterne
(3)

3.99 €

Leider schon ausverkauft
Atlas - Die Geschichte von Pa Salt / Die sieben Schwestern Bd.8
Bd. 8

Atlas - Die Geschichte von Pa Salt / Die sieben Schwestern Bd.8

Lucinda Riley, Harry Whittaker

4 Sterne
(23)
Buch

24.00 €

In den Warenkorb
Erschienen am 11.05.2023
lieferbar
Duftkerzen "Maritim" im Glas 3er-Set

Duftkerzen "Maritim" im Glas 3er-Set

4.5 Sterne
(16)

12.99 €

In den Warenkorb
lieferbar
Solar-Gartenstecker "Kirschblüten" 2er-Set

Solar-Gartenstecker "Kirschblüten" 2er-Set

4 Sterne
(15)

24.99 €

In den Warenkorb
lieferbar
tolino page 2 eBook-Reader

tolino page 2 eBook-Reader

4 Sterne
(144)

79.00 €

In den Warenkorb
lieferbar
-20%
Trommelstöckchen Craspedia

Trommelstöckchen Craspedia

0 Sterne

Statt 4.99 €

3.99 €

In den Warenkorb
lieferbar
-24%
Elternabend

Elternabend

Sebastian Fitzek

4.5 Sterne
(10)
eBook

Statt 16.99 € 22

12.99 €

Download bestellen
Erschienen am 26.04.2023
sofort als Download lieferbar
Solar-Laterne "Lebensbaum"

Solar-Laterne "Lebensbaum"

0 Sterne

14.99 €

In den Warenkorb
lieferbar
Alles, was ihr wissen müsst, wenn ich nicht mehr bin

Alles, was ihr wissen müsst, wenn ich nicht mehr bin

Andrea Uhländer

0 Sterne
Buch

15.00 €

In den Warenkorb
Erschienen am 19.07.2022
lieferbar
-62%
Livington 3 Seconds Chopper - Der kompakte Power-Zerkleinerer

Livington 3 Seconds Chopper - Der kompakte Power-Zerkleinerer

5 Sterne
(4)

Statt 39.90 €

14.99 €

Vorbestellen
Voraussichtlich lieferbar ab 07.06.2023
Sylt oder Selters / Sylt oder Solo / Sylt oder Sahne

Sylt oder Selters / Sylt oder Solo / Sylt oder Sahne

Claudia Thesenfitz

0 Sterne
Buch

Statt 31.98 € 8

14.99 € 10

In den Warenkorb
Erschienen am 06.04.2023
lieferbar
Die Mitternachtsrose

Die Mitternachtsrose

Lucinda Riley

4 Sterne
(1)
Buch

12.00 €

In den Warenkorb
Erschienen am 20.04.2023
lieferbar
Solar-Hängedeko "Heißluftballon" (Farbe: rot)

Solar-Hängedeko "Heißluftballon" (Farbe: rot)

1.5 Sterne
(3)

19.99 €

Vorbestellen
Jetzt vorbestellen
Männerbox "für Supermänner" mit Schoko-Pralinen von Confiserie Heidel

Männerbox "für Supermänner" mit Schoko-Pralinen von Confiserie Heidel

4 Sterne
(24)

7.99 €

(92.91€ / kg)

In den Warenkorb
lieferbar
Abnehm Blitzrezepte für Berufstätige nach dem 20:80 Prinzip

Abnehm Blitzrezepte für Berufstätige nach dem 20:80 Prinzip

Dr. med. Matthias Riedl

4.5 Sterne
(10)
Buch

Statt 16.99 € 21

12.99 € 4

In den Warenkorb
Erschienen am 05.07.2021
lieferbar
Solar-Marienkäfer mit Clips, 3er-Set

Solar-Marienkäfer mit Clips, 3er-Set

0 Sterne

12.99 €

In den Warenkorb
lieferbar
Solar-Gartenstecker "Fantasia", Fiberglas, 3er-Set

Solar-Gartenstecker "Fantasia", Fiberglas, 3er-Set

4 Sterne
(116)

19.99 €

In den Warenkorb
lieferbar
Solar-Gartendeko "Mandorla" 98cm

Solar-Gartendeko "Mandorla" 98cm

0 Sterne

69.99 €

In den Warenkorb
lieferbar
0 Gebrauchte Artikel zu „Proof Theory / Dover Publications“
Zustand Preis Porto Zahlung Verkäufer Rating