ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Helmet Schwichtenberg has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Computational Logic
cover image for 9783540645894
Product Description: Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously...read more (view table of contents, read Amazon.com's description)
By Ulrich Berger (editor), North Atlantic Treaty Organization Scientific Affairs Division (corporate author) and Helmet Schwichtenberg (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Hardcover:

9783540645894 | Springer-Verlag New York Inc, May 1, 1999, cover price $156.00 | About this edition: Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues.

displaying 1 to 1 | at end