Code: 01563873

Proof Theory in Computer Science

Name: Proof Theory in Computer Science
Brand: Springer, Berlin
SKU: 01563873
Price: 51.68 EUR
Availability: InStock
Author: Reinhard Kahle
ISBN: 9783540427520

by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

Language: English
Binding: Paperback
Number of pages: 246
Publisher: Springer, Berlin, 2001
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

COME TOGETHER
14.86 € -24 %
Buy
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8
10.61 € -25 %
Buy
Windows 11
11.02 € -23 %
Buy
Looking for Lost Bird
12.43 € -17 %
Buy
The History Of Coursing - The Waterloo Cup
13.04 € -2 %
Buy
Laser Plasma Theory and Simulation
223.04 €
Buy
Luminos
27.50 € -5 %
Buy
Logistic Regression Using SAS
65.24 € -1 %
Buy
Feminist Advocacy, Family Law and Violence Against Women
63.92 €
Buy
Regional Orders at Century's Dawn
66.85 €
Buy
Precalculus CLEP Test Study Guide
55.32 € -1 %
Buy
Language and Its Normal Processing
186.02 € -10 %
Buy
The Atonement of Jesus Christ Is for Me
15.77 € -9 %
Buy
Greek Historiography
84.66 €
Buy
Dieta alcalina: Las Mejores Recetas Alcalinas
7.27 € -6 %
Buy
Mathematical Statistical Mechanics
183.08 €
Buy
Catoblepas
8.99 € -10 %
Buy
El verb hebreu : conjugació i petit diccionari
13.54 €
Buy
Fastentücher
40.05 € -11 %
Buy
L’interruption de la prescription en matière civile
88.81 €
Buy
Collected Poems of Rupert Brooke, with an Introd. by George Edward Woodberry, and a Biographical Note by Margaret Lavington
38.33 € -9 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Proof Theory in Computer Science

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

51.68 €

Full title: Proof Theory in Computer Science
Subtitle: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Author: Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
Language: English
Binding: Paperback
Number of pages: 246
EAN: 9783540427520
ISBN: 354042752X
ID: 01563873
Publisher: Springer, Berlin
Weight: 363 g
Dimensions: 235 × 155 × 13 mm
Published: 2001