Order Total (1 Item Items):
Shipping Destination:
Formal Methods by Beth Evert (16 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (16)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (9)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (4)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (5)
- Seller-Supplied Images (8)
- Not Print on Demand (12)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Formal Methods. an Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic (Synthese Library)
Published by D. Reidel Publishing Company & Gordon and Breach, Dordrecht, The Netherlands & Boston, 1962
Seller: Literary Cat Books, Machynlleth, Powys, WALES, United Kingdom
Association Member: IOBA
Seller rating 4 out of 5 stars
First Edition
Original boards. Condition: Very Good-. Dust Jacket Condition: Very Good-. First Edition. With library stamps & labels. Dustjacket in protective cover. With remnants and/or residue of sticky tape on endpapers, covers & dustjacket. Spine, covers, corners & dustjacket somewhat worn & slightly soiled. ; 8vo 8" - 9" tall; xiv, 170 pages.
-
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
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).
-
Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. (= Synthes Library).
Language: English
Published by Reidel, Dordrecht, 1962
Seller: Antiquariat Andree Schulte, Grafschaft-Ringen, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
8°. Leinen, XIV, 170 S. Bibliotheksexemplar mit Rückenschild und Stempeln, mit goldgeprägtem Rückentitel, Einband etwas berieben, Ecken und Kapitale leicht bestoßen, Papier gebräunt, sonst ordentlicher Zustand. Sprache: Englisch Gewicht in Gramm: 400.
-
Condition: New.
-
Formal Methods (Paperback)
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1015034004 ISBN 13: 9781015034006
Paperback. Condition: new. Paperback. This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface.We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Gebunden. Condition: New.
-
Formal Methods
Language: English
Published by Creative Media Partners, LLC Sep 2021, 2021
ISBN 10: 1015034004 ISBN 13: 9781015034006
Taschenbuch. Condition: Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.
-
Formal Methods
Language: English
Published by Creative Media Partners, LLC Sep 2021, 2021
ISBN 10: 1014232368 ISBN 13: 9781014232366
Buch. Condition: Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.
-
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
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.
-
Condition: Buone. inglese Condizioni dell'esterno: Discrete con difetti, manca sovraccoperta Condizioni dell'interno: Buone.
-
Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.
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.
-
Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.
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.
-
Formal Methods
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1015034004 ISBN 13: 9781015034006
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 21.06
£ 12.31 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Formal Methods
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014232368 ISBN 13: 9781014232366
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 30.76
£ 12.31 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Formal Methods
Book 87 of 304: Synthese LibraryLanguage: English
Published by Springer Netherlands, 2011
ISBN 10: 9401032718 ISBN 13: 9789401032711
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind but we all know that the distribution of this capacity, or at any rate its development, is very unequal. Few people are able .
-
Formal Methods
Book 87 of 304: Synthese LibraryLanguage: English
Published by Springer Netherlands, 1970
ISBN 10: 9027700699 ISBN 13: 9789027700698
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind but we all know that the distribution of this capacity, or at any rate its development, is very unequal. Few people are able .
