Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.
Beth, Ewert W.:
Published by Dordrecht, Reidel Publ., 1962
Used
cloth
From
Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 3 May 2002
Association Member:
This specific copy is no longer available. Here are our closest matches for Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic..
About this Item
Description:
170 S.; Ill. Ex.-Libr., Good condition. Cover with marks from removed label. Slightly faded spine. Sprache: Englisch Gewicht in Gramm: 575. Seller Inventory # 834220
Bibliographic Details
Title: Formal Methods. An Introduction to Symbolic ...
Publisher: Dordrecht, Reidel Publ.
Publication Date: 1962
Binding: cloth
Condition: Gut
Top Search Results from the AbeBooks Marketplace
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Published by
D. Reidel Publishing Company, 1962
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN: Seller Inventory # 9024499
Buy Used
£ 4.17
£ 13.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]
Published by
Dordrecht, D. Reidel Publishing, 1962
Used
Hardcover
Seller: Pallas Books Antiquarian Booksellers, Leiden, Netherlands
Seller rating 4 out of 5 stars
cloth, dustjacket, 8vo xiv+170 pp. implicationallogic; sentential logic; completeness of elementary logic; formalization of arithmetic; in machines which prove theorems; very good condition (almost unused, stamp 'archief E.W. Beth' on dustjacket). Seller Inventory # 33349
Buy Used
£ 9.04
£ 22.83 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available
Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.
Used
Hardcover
Seller: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, Denmark
Seller rating 4 out of 5 stars
Dordrecht, D. Reidel Publishing Comp., (1962). 8vo. Orig. full cloth. XIV,170 pp. Seller Inventory # 32735
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Published by
D. Reidel Publishing Company, 1962
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN: Seller Inventory # 3711941
Buy Used
£ 25.69
£ 13.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic (Synthese Library, 4)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 1970. Text unmarked. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-Q-007-03435
Buy Used
£ 29.99
£ 10.64 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.
Used
Hardcover
Seller: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, Denmark
Seller rating 4 out of 5 stars
Dordrecht, (1962). 8vo. Orig. full cloth with dustjacket. XIV,170 pp. Seller Inventory # 24560
FORMAL METHODS AN INTRODUCTION TO SYMBOLIC LOGIC AND TO THE STUDY OF EFFECTIVE OPERATIONS IN ARITHMETIC AND LOGIC
Published by
D. Reidel Publishing Company, Dordrecht Holland, 1962
Used
Hardcover
Seller: J. Wyatt Books, Ottawa, ON, Canada
Seller rating 5 out of 5 stars
Hardcover. Condition: VG+. Dust Jacket Condition: VG. 170 pages, all clean and very good condition. Blue cloth with gilt titles on spine. Grey and white DJ with black titles. Small tear on lower right front cover, tiny chip at top right front cover, spine faded. Lightly soiled on back cover. VG+/VG. Book. Seller Inventory # 201807
Seller Image
Formal Methods | An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formal Methods | An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic | E. W. Beth | Taschenbuch | xiv | Englisch | 2011 | Springer | EAN 9789401032711 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105402352
Formal Methods | An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Formal Methods | An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic | E. W. Beth | Buch | xiv | Englisch | Springer Netherland | EAN 9789027700698 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102461940
Seller Image
Formal Methods : An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 2549294-n