Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Gentzen's Centenary

The Quest for Consistency

Język AngielskiAngielski
Książka Miękka
Książka Gentzen's Centenary Reinhard Kahle
Kod Libristo: 05267073
Wydawnictwo Springer International Publishing AG, listopad 2015
This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma... Cały opis
? points 368 b
660.04 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Nonlinear Potential Theory and Weighted Sobolev Spaces Bengt O. Turesson / Książka Miękka
common.buy 170.99 zł
Dictionnaire étymologique, historique et comparé du français de Louisiane Kevin J. Rottet / Książka Twarda
common.buy 1 075.21 zł
A Contextual Approach to Human Development Girishwar Misra / Książka Twarda
common.buy 908.62 zł
Les liaisons dangereuses Choderlos de Laclos / Książka Twarda
common.buy 210.51 zł
Rockstars Fausto Gilberti / Książka Miękka
common.buy 129.63 zł
Sociální pouto v éře virtuality Gérard Dubey / Książka Miękka
common.buy 7.71 zł
L'Hermeneutique: Source d'Interpretation Biblique Joubert Michel / Książka Miękka
common.buy 103.60 zł
Neue Gedichte Georg Herwegh / Książka Miękka
common.buy 100.93 zł
Gender Im Blick Karin Gludovatz / Książka Twarda
common.buy 322.55 zł
Mord am Leuchtturm, 3 Audio-CDs Klaus-Peter Wolf / Audio CD Audio
common.buy 98.97 zł
Mein Kuschel-Fühlbuch - Lieblingstiere, Stoffbilderbuch Francesca Ferri / Gra/Zabawka Zabawka
common.buy 37.34 zł
Correspondance Generale de La Beaumelle Hubert Angliviel de La Beaumelle / Książka Twarda
common.buy 845.35 zł

This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to most recent developments in proof theory. Gentzen founded modern proof theory. His subsequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Gentzen's Centenary
Autor Reinhard Kahle, Michael Rathjen
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 561
EAN 9783319101026
ISBN 3319101021
Kod Libristo 05267073
Wydawnictwo Springer International Publishing AG
Waga 866
Wymiary 155 x 30 x 30

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Entropy, Search, Complexity Imre Csiszar / Książka Twarda
common.buy 497.68 zł
Learn-At-Home: Explore Math Bundle Grade 6: 4-Book Set Multiple Authors / Gra/Zabawka Gra
common.buy 225.73 zł
Stink and the Great Guinea Pig Express Peter H. Reynolds / Książka Miękka
common.buy 26.23 zł
Academy Governance Checklists Gillian Allcroft / Książka Miękka
common.buy 210.09 zł
Black Circles: LiFe Katlyn Lipomi / Książka Miękka
common.buy 52.77 zł
Jetta: The Calling Series (Book 2) Deana Zhollis / Książka Miękka
common.buy 72.32 zł
Last Flight Gregory P. Liefer / Książka Twarda
common.buy 87.65 zł
Destiny Mari Alegre / Książka Miękka
common.buy 67.49 zł
Solving Irregularly Structured Problems in Parallel Afonso Ferreira / Książka Miękka
common.buy 224.50 zł
Elements of Photonics - In Free Space Media V 1 Keigo Iizuka / Książka Twarda
common.buy 904.10 zł
Knit the Alphabet Claire Garland / Książka Miękka
common.buy 78.08 zł
TOP
One Piece, Vol. 3 Eiichiro Oda / Książka Miękka
common.buy 42.38 zł
W. Axl Rose Mick Wall / Książka Miękka
common.buy 89.30 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?