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
This book doesn't have any reviews or ratings yet!
If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at support@thestorygraph.com to request the content warning form.
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
This book doesn't have any reviews or ratings yet!
If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at support@thestorygraph.com to request the content warning form.