Trends in Logic: Methods of Cut-Elimination - pocketboek
2013, ISBN: 9789400734975
[ED: Taschenbuch / Paperback], [PU: Springer Netherlands Springer, Berlin], KURZE BESCHREIBUNG/ANMERKUNGEN: This book offers a thorough, rigorous analysis of reductive cut-elimination met… Meer...
booklooker.de Syndikat Buchdienst Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Methods of Cut-Elimination - pocketboek
2013, ISBN: 9789400734975
[ED: Softcover], [PU: Springer / Springer Netherlands], This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving… Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Methods of Cut-Elimination - pocketboek
ISBN: 9789400734975
[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just provin… Meer...
booklooker.de |
Methods of Cut-Elimination - pocketboek
2013, ISBN: 9789400734975
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the alg… Meer...
Orellfuessli.ch Nr. 34378120. Verzendingskosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten. (EUR 16.85) Details... |
Methods of Cut-Elimination (Maandelijkse huur. Jaarlijks abonnement)
2013, ISBN: 9789400734975
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the alg… Meer...
CampusRitter.de |
Trends in Logic: Methods of Cut-Elimination - pocketboek
2013, ISBN: 9789400734975
[ED: Taschenbuch / Paperback], [PU: Springer Netherlands Springer, Berlin], KURZE BESCHREIBUNG/ANMERKUNGEN: This book offers a thorough, rigorous analysis of reductive cut-elimination met… Meer...
Baaz, Matthias Leitsch, Alexander:
Methods of Cut-Elimination - pocketboek2013, ISBN: 9789400734975
[ED: Softcover], [PU: Springer / Springer Netherlands], This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving… Meer...
Methods of Cut-Elimination - pocketboek
ISBN: 9789400734975
[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just provin… Meer...
bij Orellfuessli.ch
Methods of Cut-Elimination - pocketboek
2013, ISBN: 9789400734975
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the alg… Meer...
bij CampusRitter.de
Methods of Cut-Elimination (Maandelijkse huur. Jaarlijks abonnement)
2013, ISBN: 9789400734975
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the alg… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Methods of Cut-Elimination
EAN (ISBN-13): 9789400734975
ISBN (ISBN-10): 9400734972
Gebonden uitgave
pocket book
Verschijningsjaar: 2013
Uitgever: Springer Netherlands
Boek bevindt zich in het datenbestand sinds 2009-04-24T12:17:50+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-10-27T13:31:23+02:00 (Amsterdam)
ISBN/EAN: 9400734972
ISBN - alternatieve schrijfwijzen:
94-007-3497-2, 978-94-007-3497-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: leitsch, alexander matthias, baaz
Titel van het boek: octagonal, cut, oetker backbuch, methods logic
Gegevens van de uitgever
Auteur: Matthias Baaz; Alexander Leitsch
Titel: Trends in Logic; Methods of Cut-Elimination
Uitgeverij: Springer; Springer Netherland
290 Bladzijden
Verschijningsjaar: 2013-02-25
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
VI, 290 p.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; CERES; Goedel logic; cut-elimination; proof analysis; resolution; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Mathematische Grundlagen; Theoretische Informatik; BB; EA
This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.First book on methods of cut-elimination Combines techniques and results from proof theory and automated deduction Thereby the book provides a completely new view on proof theoretic methods and their applications This specific feature makes the book interesting for researchers and graduate students in proof theory and computational logic
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789400703193 Methods of Cut-Elimination (Trends in Logic, 34, Band 34) (Baaz, Matthias, Leitsch, Alexander)
< naar Archief...