Bild 1 von 1
Beweistheorie von K. Sch?tte (englisch) Taschenbuch Buch
Artikelzustand:
3 verfügbar
Versand:
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Do, 6. Jun und Mo, 17. Jun nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,2% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:364685247805
Artikelmerkmale
- Artikelzustand
- ISBN-13
- 9783642664755
- Book Title
- Proof Theory
- ISBN
- 9783642664755
- Publication Name
- Proof Theory
- Item Length
- 9.6in
- Publisher
- Springer Berlin / Heidelberg
- Publication Year
- 2011
- Series
- Grundlehren Der Mathematischen Wissenschaften Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.3in
- Item Width
- 6.7in
- Item Weight
- 19.6 Oz
- Number of Pages
- Xii, 302 Pages
Über dieses Produkt
Product Information
This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi:idel interpretation of pure number theory. Instead of ramified type theory, type-free logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI~-analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie".
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
364266475x
ISBN-13
9783642664755
eBay Product ID (ePID)
10038587615
Product Key Features
Publication Name
Proof Theory
Format
Trade Paperback
Language
English
Publication Year
2011
Series
Grundlehren Der Mathematischen Wissenschaften Ser.
Type
Textbook
Number of Pages
Xii, 302 Pages
Dimensions
Item Length
9.6in
Item Height
0.3in
Item Width
6.7in
Item Weight
19.6 Oz
Additional Product Features
Series Volume Number
225
Number of Volumes
1 Vol.
Lc Classification Number
Qa1-939
Copyright Date
1977
Target Audience
Scholarly & Professional
Topic
General, Logic
Dewey Decimal
511/.3
Illustrated
Yes
Genre
Mathematics
Artikelbeschreibung des Verkäufers
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:364685247805
Verpackung und Versand
Artikelstandort:
Fairfield, Ohio, USA
Versand nach:
Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), US-Protektorate, Ukraine, Venezuela
| Verpackung und Versand | Jeder zusätzliche Artikel | Nach | Service | Lieferung*Siehe Lieferhinweise |
|---|---|---|---|---|
| Kostenloser Versand | Kostenlos | USA | Economy Shipping | Lieferung zwischen Do, 6. Jun und Mo, 17. Jun nach 43230 |
| Bearbeitungszeit |
|---|
| Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang. |
| Steuern |
|---|
| An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #364685247805
Mehrwertsteuer für diesen Artikel #364685247805
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
| Bundesstaat | Steuersatz für Sales Tax |
|---|
Rücknahmebedingungen
| Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
|---|---|---|
| 30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
| Rücknahmebedingungen im Detail |
|---|
| Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1'023'413)
t***e (2997)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Great seller with fast shipping.
3***7 (1445)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Good seller and transaction. A+++
r***s (453)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Good job
Noch mehr entdecken:
- Nachschlagewerke und Lexikons auf English,
- Penguin Books Sprachkurse und Lehrmaterialien,
- Penguin Books Studium und Erwachsenenbildung,
- Penguin Books Fachbücher, Lernen und Nachschlagen,
- Englische Studium und Erwachsenenbildung Penguin Books,
- Belletristik-Bücher Philip K. Dicke,
- Bücher Sachbuch Philip K. Dicke,
- Hörbücher und Hörspiele Philip K. Dicke,
- Ursula-K. - Le-Guin-Belletristik-Bücher,
- Science-Fiction-Belletristik Philip K. Dicke Bücher