Scan barcode
290 pages • missing pub info (editions)
ISBN/UID: 9781938421266
Format: Paperback
Language: English
Publisher: Advanced Reasoning Forum
Publication date: 10 September 2015
Description
This volume contains seventeen essays in the history of modern mathematical logic. The first nine are concerned with the completeness of various logical calculi. The second five essays deal with the completeness of classical first-order predicate ...
Community Reviews
Content Warnings
290 pages • missing pub info (editions)
ISBN/UID: 9781938421266
Format: Paperback
Language: English
Publisher: Advanced Reasoning Forum
Publication date: 10 September 2015
Description
This volume contains seventeen essays in the history of modern mathematical logic. The first nine are concerned with the completeness of various logical calculi. The second five essays deal with the completeness of classical first-order predicate ...