Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /

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. This book...

Full description

Bibliographic Details

Main Author:	Berger, Ulrich
Corporate Author:	SpringerLink (Online service)
Other Authors:	Schwichtenberg, Helmut
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Series:	NATO ASI Series ; ; 165.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book