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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Language EnglishEnglish
Book Paperback
Book Proof Theory in Computer Science Reinhard Kahle
Libristo code: 01563873
Publishers Springer, Berlin, November 2000
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Compu... Full description
? points 125 b
51.49 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Fastentücher Peter Knüvener / Book Paperback
common.buy 40.00 €
Luminos / Game/Toy Game
common.buy 27.40 €
L’interruption de la prescription en matière civile Béridot / Book Paperback
common.buy 88.38 €
Windows 11 Karel Klatovský / Book Paperback
common.buy 13.19 €
Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz / Book Paperback
common.buy 7.65 €
Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly GEHIN-J / Book Paperback
common.buy 17.32 €
El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa / Book Paperback
common.buy 13.49 €
Catoblepas Christian Mauck / Se-Laika / Book Paperback
common.buy 8.96 €

This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001.The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming.

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 Proof Theory in Computer Science
Author Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 246
EAN 9783540427520
ISBN 354042752X
Libristo code 01563873
Publishers Springer, Berlin
Weight 363
Dimensions 155 x 235 x 13

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

The History Of Coursing - The Waterloo Cup Harding Cox / Book Paperback
common.buy 13.70 €
Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration Joseph Quincy Adams / Book Hardback
common.buy 39.09 €
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8 Hidaka Nami / Book Paperback
common.buy 11.78 €
Uptet RPH EDITORIAL BOARD / Book Paperback
common.buy 40.00 €
Collected Poems of Rupert Brooke, with an Introd. by George Edward Woodberry, and a Biographical Note by Margaret Lavington RUPERT BROOKE / Book Hardback
common.buy 38.19 €
The Atonement of Jesus Christ Is for Me Sierra Wilson / Book Hardback
common.buy 15.71 €
Feminist Advocacy, Family Law and Violence Against Women Mahnaz Akhami / Book Paperback
common.buy 66.61 €
Engaging Theories in Family Communication Dawn O. Braithwaite / Book Paperback
common.buy 121.43 €
Top
COME TOGETHER NAGOSKI EMILY / Book Paperback
common.buy 15.71 €
Precalculus CLEP Test Study Guide PassYourClass / Book Hardback
common.buy 57.84 €
Looking for Lost Bird Yvette D. Melanson / Book Paperback
common.buy 13.09 €
Sae Transactions, Volume 11, Part 2 Society of Automotive Engineers / Book Hardback
common.buy 40.00 €
Logistic Regression Using SAS D. Allison Paul / Book Paperback
common.buy 68.22 €
Regional Orders at Century's Dawn Etel Solingen / Book Paperback
common.buy 66.61 €
Laser Plasma Theory and Simulation Chiyoe Yamanaka / Book Paperback
common.buy 222.21 €
Trouble-Free Transitions for New Teachers Kimberly T. Strike / Book Paperback
common.buy 37.28 €
Language and Its Normal Processing V.C. Tartter / Book Hardback
common.buy 185.33 €
Greek Historiography Simon Hornblower / Book Paperback
common.buy 84.34 €
Mathematical Statistical Mechanics Colin J. Thompson / Book Hardback
common.buy 190.57 €

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?