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.26 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

L’interruption de la prescription en matière civile Béridot / Book Paperback
common.buy 86.95 €
Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly GEHIN-J / Book Paperback
common.buy 17.28 €
Luminos / Game/Toy Game
common.buy 27.03 €
Fastentücher Peter Knüvener / Book Paperback
common.buy 39.80 €
La bulle de Tiepolo Delerm / Book Paperback
common.buy 13.66 €
Top
Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz / Book Paperback
common.buy 7.63 €
El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa / Book Paperback
common.buy 13.36 €
Deux Mois de Campagne En Italie Durand-Brager-H / Book Paperback
common.buy 24.02 €
Catoblepas Christian Mauck / Se-Laika / Book Paperback
common.buy 8.94 €

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

Looking for Lost Bird Yvette D. Melanson / Book Paperback
common.buy 13.06 €
Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration Joseph Quincy Adams / Book Hardback
common.buy 39.00 €
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8 Hidaka Nami / Book Paperback
common.buy 11.75 €
Uptet RPH EDITORIAL BOARD / Book Paperback
common.buy 39.90 €
Notes from the Underground Fyodor Dostoyevsky / Book Paperback
common.buy 7.43 €
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.09 €
The Atonement of Jesus Christ Is for Me Sierra Wilson / Book Hardback
common.buy 15.67 €
Feminist Advocacy, Family Law and Violence Against Women Mahnaz Akhami / Book Paperback
common.buy 69.56 €
Top
COME TOGETHER NAGOSKI EMILY / Book Paperback
common.buy 16.38 €
Engaging Theories in Family Communication Dawn O. Braithwaite / Book Paperback
common.buy 121.13 €
Mathematical Statistical Mechanics Colin J. Thompson / Book Hardback
common.buy 190.10 €
Precalculus CLEP Test Study Guide PassYourClass / Book Hardback
common.buy 57.70 €
The History Of Coursing - The Waterloo Cup Harding Cox / Book Paperback
common.buy 13.66 €
Sae Transactions, Volume 11, Part 2 Society of Automotive Engineers / Book Hardback
common.buy 39.90 €
Ant Dens Mary Coley / Book Paperback
common.buy 14.47 €
Logistic Regression Using SAS D. Allison Paul / Book Paperback
common.buy 68.05 €
Books of James C. Patch Gary D Henry / Book Paperback
common.buy 20.00 €
Regional Orders at Century's Dawn Etel Solingen / Book Paperback
common.buy 90.97 €
Laser Plasma Theory and Simulation Chiyoe Yamanaka / Book Paperback
common.buy 231.32 €
Trouble-Free Transitions for New Teachers Kimberly T. Strike / Book Paperback
common.buy 37.19 €
Language and Its Normal Processing V.C. Tartter / Book Hardback
common.buy 184.87 €
Greek Historiography Simon Hornblower / Book Paperback
common.buy 82.63 €
Modern-Day Macrobiotics Simon G. Brown / Book Paperback
common.buy 14.77 €
Personal Recollections of Pardee Butler Rosetta Butler Hastings / Book Paperback
common.buy 21.10 €

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?