Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Methods of Cut-Elimination

Language EnglishEnglish
Book Paperback
Book Methods of Cut-Elimination Matthias Baaz
Libristo code: 01979707
Publishers Springer Netherlands, November 2012
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Full description
? points 236 b
96.29 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Los días y las noches en la casa grande Juan Martín-Mora Haba / Book Paperback
common.buy 14.09 €
Gendersensible Gestaltung des neuen Studiengangs "BWL - Digitale Wirtschaft" an der Beuth Hochschule für Technik Berlin Martina Brandt / Book Sheet
common.buy 8.99 €
Ideologische Durchdringung der Universitat im Nationalsozialismus. Der Kriegseinsatz der Deutschen Geisteswissenschaften Nejla Demirkaya / Book Paperback
common.buy 17.95 €
vergessene Zimmer Manfred Liebrecht / Book Paperback
common.buy 7.90 €
La Biblioth?que du gilet jaune: De la col?re ? la conscience; de la révolte ? la révolution Tsarafine Mohamed-Oumbia / Book Paperback
common.buy 7.49 €
Les métamorphoses de Virgile - réception de la figure de l'auctor, Antiquité, Moyen âge, temps modernes / Book Paperback
common.buy 70.59 €
Top
Magie Josef Veselý / Book Sheet
common.buy 17.19 €

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Methods of Cut-Elimination
Author Matthias Baaz, Alexander Leitsch
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 290
EAN 9789400734975
ISBN 9400734972
Libristo code 01979707
Publishers Springer Netherlands
Weight 419
Dimensions 158 x 14 x 15

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Politics and Development in the Caribbean Basin J Grugel / Book Paperback
common.buy 56.19 €
The Raven Cipher Madison Carter / Book Paperback
common.buy 11.59 €
Proceedings of the 9th International Conference on Computational Science and Technology Rayner Alfred / Book Paperback
common.buy 336.29 €
Quiet Play ACTIVITY CRUSADES / Book Paperback
common.buy 10.49 €
Ravaging Myths Frederick Marshall Brown / Book Paperback
common.buy 7.89 €
The Cold Eye Laura Anne Gilman / Book Paperback
common.buy 10.89 €
Bessie's Fortune Mary Jane Holmes / Book Hardback
common.buy 33.09 €
Arab Contemporary: Architecture & Identity Poul Erik Tojner / Book Paperback
common.buy 33.59 €
Turkey Telecom Laws and Regulations Handbook - Strategic Information and Regulations Inc IBP / Book Paperback
common.buy 75.29 €
Modelling Covariances and Latent Variables Using EQS Andrew (all of The Institute of Psychiatry) Pickles / Book Paperback
common.buy 170.29 €
Metabolic Syndrome Research Trends Thomas E Batone / Book Hardback
common.buy 234.19 €
Pathway of Peace/ Cistercian Wisdom according to Saint Bernard Charles Dumont / Book Paperback
common.buy 21.69 €
Top
National Curriculum English Practice Book for Year 1 Scholastic / Book Paperback
common.buy 9.19 €
Catholicism Today Evyatar Marienberg / Book Paperback
common.buy 80.89 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?