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 II, where the predicate calculus and semantical systems are studied."

"About this title" may belong to another edition of this title.

Store Description

J. Hood, Booksellers, established 1974, specializes in scholarly books in all subject areas, with large holdings in the sciences, art, philosophy, medieval & renaissance studies, the social sciences and the humanities. We currently have 43,000 volumes in stock and sell exclusively on the internet. We are members of the Antiquarian Booksellers' Association of America and the International League of Antiquarian Booksellers.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

J. HOOD, BOOKSELLERS, ABAA/ILAB
507 East 1600 Road, Baldwin City, KS, 66006, U.S.A.

Terms of Sale:

J. Hood, Booksellers, inc.
507 East 1600 Road
Baldwin City, KS 66006
U.S.A.
books@jhoodbooksellers.com
785-594-4070
FEIN: 43-1827803
Gloria J. Hood
John J. Hood

Payment with order, credit cards accepted (VISA, MC & Discover, Amer Exp),
personal checks
on USA banks, money orders in US funds. Libraries will be invoiced upon
request. Returns accepted within two weeks with advance notification.

Shipping Terms:

Orders usually ship within 1 business day. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Domestic shipping:
Unless otherwise requested - U.S. Priority mail $7.00 for the first volume and $4 for each additional volume; U.S. Media mail $4.50 for the first volume and $2.00 for each additional volume.

International shipping:
Shipping by Priority airmail international envelopes is available to most countries for standard size books at $32 per volume.
Other rates available upon request.

All books wrapped with great care and shipped promptly.

Payment Methods
accepted by seller

Check Money Order Cash

Add to Wants

Items related to Mathematical Logic: An Introduction to Model Theory.;...

Mathematical Logic: An Introduction to Model Theory.; Edited by H.B. Enderton. (Mathematical Concepts and Methods in Science and Engineering, 9.)

Lightstone, A.H.

Used - Hardcover

Seller's business information