{"title":"A Lightstone","description":null,"products":[{"product_id":"mathematical-logic-book-a-lightstone-9781461587521","title":"Mathematical Logic","description":"Before his death in March, 1976, A. H. Lightstone delivered the manu- script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have changed the manuscript as little as possible, altering certain passages to correct oversights. But the alterations are minor; this is Lightstone's book. H. B. Enderton vii Preface This is a treatment of the predicate calculus in a form that serves as a foundation for nonstandard analysis. Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed. These restrictions are dropped here, in order to develop a flexible, expressive language capable of exploiting the potential of nonstandard analysis. To assist the reader in grasping the basic ideas of logic, we begin in Part I by presenting the propositional calculus and statement systems. This provides a relatively simple setting in which to grapple with the some- times foreign ideas of mathematical logic. These ideas are repeated in Part I, where the predicate calculus and semantical systems are studied.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52340398817553,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52340399440145,"sku":"NLS9781461587521","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461587521.jpg?v=1792013618"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-a-lightstone.oembed","provider":"World of Books ","version":"1.0","type":"link"}