{"product_id":"9781461587521","title":"Mathematical Concepts and Methods in Science and Engineering: An Introduction to Model Theory","description":"\u003ch1\u003eMathematical Concepts and Methods in Science and Engineering: An Introduction to Model Theory\u003c\/h1\u003e \u003ch2\u003eLightstone, A.\u003c\/h2\u003e \u003cp\u003eBefore 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 II, where the predicate calculus and semantical systems are studied.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-12-27\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461587521\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-8750-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 338\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44450484781196,"sku":"9781461587521","price":107.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461587521_9d678a88-108b-4415-b918-67658d4f7cd5.jpg?v=1775710021","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781461587521","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}