Book Details
Format
Hardback or Cased Book
Book Series
Undergraduate Texts in Mathematics
ISBN-10
0387942580
ISBN-13
9780387942582
Edition
2nd ed. 1994
Publisher
Springer-Verlag New York Inc.
Imprint
Springer-Verlag New York Inc.
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jun 10th, 1994
Print length
291 Pages
Weight
596 grams
Dimensions
24.10 x 16.60 x 2.10 cms
Product Classification:
Mathematical logic
Ksh 9,700.00
Werezi Extended Catalogue
Delivery in 14 days
Delivery Location
Delivery fee: Select location
Delivery in 14 days
Secure
Quality
Fast
Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs).
Get Mathematical Logic by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag New York Inc. and it has pages.
