DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
Springer. Used - Very Good. 2002. 2nd. hardcover. Cloth, no dj. Slight shelf-wear. Clean internals. Very Good. Springer ISBN 1402007639 9781402007637 [US]
Springer 2002 2nd ed. Hardcover Very Good 1402007639. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean.; Applied Logic Series, 27; 156 X 25.4 X 234 millimeters; 408 pages.
Springer. Very Good. Date: 2002. Hardcover. 1402007639 . This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Applied Logic Series, 27; 156 X 25.4 X 234 millimeters; 408 pages . 2002. Springer ISBN 1402007639 9781402007637 [US]
ISBN10: 1402007639, ISBN13: 9781402007637, [publisher: Springer] Hardcover This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Applied Logic Series, 27; 156 X 25.4 X 234 millimeters; 408 pages [PFLUGERVILLE, TX, U.S.A.] [Publication Year: 2002]
ISBN10: 1402007639, ISBN13: 9781402007637, [publisher: Springer] Hardcover SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. [Portland, ME, U.S.A.] [Publication Year: 2002]
ISBN10: 1402007639, ISBN13: 9781402007637, [publisher: Kluwer Academic Publishers, Dordrecht, The Netherlands] Hardcover Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior. [London, ON, Canada] [Publication Year: 2002]
Dordrecht, The Netherlands: Kluwer Academic Publishers, Date: 2002. Hardcover. Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior. 2002. Kluwer Academic Publishers ISBN 1402007639 9781402007637 [CA]
ISBN10: 1402007639, ISBN13: 9781402007637, [publisher: Kluwer Academic Publishers, Dordrecht, The Netherlands] Hardcover Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior. [London, ON, Canada] [Publication Year: 2002]
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof. ISBN 1402007639 9781402007637 [GB]
ISBN10: 1402007639, ISBN13: 9781402007637, [publisher: Springer] Hardcover An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. Series: Applied Logic Series. Num Pages: 390 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 160 x 28. Weight in Grams: 772. . 2002. 2nd. Hardcover. . . . . Books ship from the US and Ireland. [Olney, MD, U.S.A.] [Publication Year: 2002]
ISBN10: 1402007639, ISBN13: 9781402007637, [publisher: Springer] Hardcover An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. Series: Applied Logic Series. Num Pages: 390 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 160 x 28. Weight in Grams: 772. . 2002. 2nd. Hardcover. . . . . [Galway, GY, Ireland] [Publication Year: 2002]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.