Scan barcode
300 pages • missing pub info (editions)
ISBN/UID: 9781938421310
Format: Paperback
Language: English
Publisher: Advanced Reasoning Forum
Publication date: 21 December 2016
Description
This series of volumes is meant to extend the scope of what we can formalize in classical predicate logic, and in doing so see the real limitations of what can be done. The first section of this volume presents classical predicate logic with equal...
Community Reviews
Content Warnings
300 pages • missing pub info (editions)
ISBN/UID: 9781938421310
Format: Paperback
Language: English
Publisher: Advanced Reasoning Forum
Publication date: 21 December 2016
Description
This series of volumes is meant to extend the scope of what we can formalize in classical predicate logic, and in doing so see the real limitations of what can be done. The first section of this volume presents classical predicate logic with equal...
Community Reviews
Content Warnings