Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.

Beth, Ewert W.:

Verlag: Dordrecht, Reidel Publ., 1962

Gebraucht cloth

Verk�ufer Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 3. Mai 2002

Verbandsmitglied:

GIAQ

Dieses Exemplar ist nicht mehr verf�gbar. Hier sind die �hnlichsten Treffer f�r Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic..

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

170 S.; Ill. Ex.-Libr., Good condition. Cover with marks from removed label. Slightly faded spine. Sprache: Englisch Gewicht in Gramm: 575. Bestandsnummer des Verk�ufers 834220

Diesen Artikel melden

Bibliografische Details

Titel: Formal Methods. An Introduction to Symbolic ...
Verlag: Dordrecht, Reidel Publ.
Erscheinungsdatum: 1962
Einband: cloth
Zustand: Gut

Beste Suchergebnisse bei AbeBooks

Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

Beth, E. W.

Verlag: D. Reidel Publishing Company, 1962

Gebraucht Hardcover

Anbieter: Anybook.com, Lincoln, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: 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: Bestandsnummer des Verk�ufers 9024499

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 4,90

EUR 15,26 shipping
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]

Beth, Evert W.

Verlag: Dordrecht, D. Reidel Publishing, 1962

Gebraucht Hardcover

Anbieter: Pallas Books Antiquarian Booksellers, Leiden, Niederlande

Verk�uferbewertung 4 von 5 Sternen

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). Bestandsnummer des Verk�ufers 33349

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 10,00

EUR 26,00 shipping
Versand von Niederlande nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.

BETH, EVERT W.

Gebraucht Hardcover

Anbieter: Herman H. J. Lynge & S�n ILAB-ABF, Copenhagen, D�nemark

Verk�uferbewertung 4 von 5 Sternen

Dordrecht, D. Reidel Publishing Comp., (1962). 8vo. Orig. full cloth. XIV,170 pp. Bestandsnummer des Verk�ufers 32735

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 27,57

EUR 42,00 shipping
Versand von D�nemark nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

Beth, E. V.

Verlag: D. Reidel Publishing Company, 1962

Gebraucht Hardcover

Anbieter: Anybook.com, Lincoln, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: 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: Bestandsnummer des Verk�ufers 3711941

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 30,13

EUR 15,26 shipping
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic (Synthese Library, 4)

Verlag: Springer, 1970

ISBN 10: 9027700699 ISBN 13: 9789027700698

Gebraucht Hardcover

Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: 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. Bestandsnummer des Verk�ufers Z1-Q-007-03435

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 35,18

EUR 12,12 shipping
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.

BETH, EVERT W.

Gebraucht Hardcover

Anbieter: Herman H. J. Lynge & S�n ILAB-ABF, Copenhagen, D�nemark

Verk�uferbewertung 4 von 5 Sternen

Dordrecht, (1962). 8vo. Orig. full cloth with dustjacket. XIV,170 pp. Bestandsnummer des Verk�ufers 24560

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 37,91

EUR 42,00 shipping
Versand von D�nemark nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

FORMAL METHODS AN INTRODUCTION TO SYMBOLIC LOGIC AND TO THE STUDY OF EFFECTIVE OPERATIONS IN ARITHMETIC AND LOGIC

Beth, Evert W.

Verlag: D. Reidel Publishing Company, Dordrecht Holland, 1962

Gebraucht Hardcover

Anbieter: J. Wyatt Books, Ottawa, ON, Kanada

Verk�uferbewertung 5 von 5 Sternen

Hardcover. Zustand: VG+. Zustand des Schutzumschlags: 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. Bestandsnummer des Verk�ufers 201807

Verk�ufer kontaktieren