ISBN: 9789400703209
Methods of Cut-Elimination: ab 117.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH, Springer-Verlag GmbH
eBook.de Verzendingskosten:in stock, , , DE. (EUR 0.00) Details... |
2011, ISBN: 9789400703209
eBooks, eBook Download (PDF), 2011, [PU: Springer Netherland], Springer Netherland, 2011
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
2011, ISBN: 9789400703209
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2011
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
2011, ISBN: 9789400703209
[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer-Verlag]
lehmanns.de Verzendingskosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2011, ISBN: 9789400703209
2011, eBook Download (PDF), eBooks, [PU: Springer Netherland]
lehmanns.de Verzendingskosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9789400703209
Methods of Cut-Elimination: ab 117.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH, Springer-Verlag GmbH
2011, ISBN: 9789400703209
eBooks, eBook Download (PDF), 2011, [PU: Springer Netherland], Springer Netherland, 2011
2011
ISBN: 9789400703209
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2011
2011, ISBN: 9789400703209
[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer-Verlag]
2011, ISBN: 9789400703209
2011, eBook Download (PDF), eBooks, [PU: Springer Netherland]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Methods of Cut-Elimination
EAN (ISBN-13): 9789400703209
ISBN (ISBN-10): 9400703201
Verschijningsjaar: 2011
Uitgever: Springer Netherland
287 Bladzijden
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2012-02-17T16:14:36+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-01-23T15:59:35+01:00 (Amsterdam)
ISBN/EAN: 9789400703209
ISBN - alternatieve schrijfwijzen:
94-007-0320-1, 978-94-007-0320-9
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: leitsch, alexander matthias, baaz
Titel van het boek: cut
Gegevens van de uitgever
Auteur: Matthias Baaz; Alexander Leitsch
Titel: Trends in Logic; Methods of Cut-Elimination
Uitgeverij: Springer; Springer Netherland
290 Bladzijden
Verschijningsjaar: 2011-01-07
Dordrecht; NL
Taal: Engels
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
VI, 290 p.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; CERES; Goedel logic; cut-elimination; proof analysis; resolution; B; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Mathematics and Statistics; Mathematische Grundlagen; Theoretische Informatik; BC
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...