Scan barcode
444 pages • missing pub info (editions)
ISBN/UID: 9781402003684
Format: Paperback
Language: English
Publisher: Springer
Publication date: 30 November 2001
Description
The last twenty years have witnessed an accelerated development of pure and ap- plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new...
Community Reviews
Content Warnings
444 pages • missing pub info (editions)
ISBN/UID: 9781402003684
Format: Paperback
Language: English
Publisher: Springer
Publication date: 30 November 2001
Description
The last twenty years have witnessed an accelerated development of pure and ap- plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new...