Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Book Details
Format
Hardback or Cased Book
ISBN-10
0857298070
ISBN-13
9780857298072
Publisher
Springer London Ltd
Imprint
Springer London Ltd
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jul 16th, 2011
Print length
416 Pages
Weight
824 grams
Dimensions
24.30 x 16.60 x 3.00 cms
Ksh 8,100.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Introduction
Propositional and Predicate-Calculus Preliminaries
A Survey of Inference Mechanisms
More on the Structure of the Verifier System
A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book
Undecidability and Unsolvability
Get Computational Logic and Set Theory by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer London Ltd and it has pages.
