Verlag: New York, New York, U.S.A.: Plenum Pub Corp, 1990, 1990
ISBN 10: 0306433796 ISBN 13: 9780306433795
Sprache: Englisch
Anbieter: RWL GROUP (Booksellers), Desert Hot Springs, CA, USA
Hardcover. Zustand: Very Good. Very good hardcover, corners slightly bumped otherwise this book is clean and tight.
Verlag: Plenum (1990) New York, 1990
ISBN 10: 0306435705 ISBN 13: 9780306435706
Very good in lightly edgeworn dust jacket Cloth Prev owner's name on front fly.
Verlag: New York [u.a.] : Plenum Press , 1990, 1990
ISBN 10: 0306433249 ISBN 13: 9780306433245
Sprache: Englisch
Anbieter: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Deutschland
Zustand: gut. VII, 275 S : graph. Darst., 25 cm, Bibliotheksexemplar. proceedings of the Twenty-Fourth Course of the International School of Subnuclear Physics on the Superworld I, held August 7 - 15, 1986, in Erice, Sicily, Italy. Sprache: Englisch.
Verlag: New York [u.a.] : Plenum Press , 1990, 1990
ISBN 10: 0306434938 ISBN 13: 9780306434938
Sprache: Englisch
Anbieter: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Deutschland
Zustand: gut. VIII, 564 S : Ill., graph. Darst., 25 cm, Bibliotheksexemplar. proceedings of the Twenty-Fifth Course of the International School of Subnuclear Physics on the Superworld II, held August 6 - 14, 1987, in Erice, Sicily, Italy. Sprache: Englisch.
Verlag: Plenum Press, (1990)., New York, 1990
ISBN 10: 0306434075 ISBN 13: 9780306434075
Sprache: Englisch
Anbieter: Pride and Prejudice-Books, Ballston Lake, NY, USA
Erstausgabe
Hardcover. Zustand: Very Good. First Edition. Hardback. Ex-library with spine label, university and withdrawn stamps, etc., else Very Good. No Dust Jacket.
Verlag: New York [u.a.] : Plenum Press , 1990, 1990
ISBN 10: 1468488716 ISBN 13: 9781468488715
Sprache: Englisch
Anbieter: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Deutschland
Zustand: gut. VIII, 438 S : Ill., graph. Darst., 25 cm, Bibliotheksexemplar. Sprache: Englisch.
Verlag: New York: Plenum Press, 1990, New York, 1990
ISBN 10: 0306435640 ISBN 13: 9780306435645
Sprache: Englisch
Anbieter: Samuel H. Rokusek, Bookseller, Pleasant Prairie, WI, USA
Erstausgabe
Hardcover. Zustand: Very Good +. Zustand des Schutzumschlags: Very Good. First Edition, First Printing. Hard Cover. Very Good +/Very Good. First Edition, First Printing. 8vo - over 7¾" - 9¾" tall. Dust jacket has some scratches with original price of $24.95. Book has numbers in pencil on ffep otherwise no other markings. Not ex-library, Not remaindered.
Verlag: Plenum Press (1990), New York / London, 1990
Anbieter: Expatriate Bookshop of Denmark, Svendborg, Dänemark
orig.boards. Zustand: Minor rubbing, VG. 26x17cm, x, 412 pp, Proceedings of the Summer School & Conference on Mathematical Logic, September 13 - 23 1988, Bulgaria. Contains 28 papers. Includes: A.S. Troelstra "On the Early History of Intuitionist Logic"; D. van Dalen "Heyting & Intuitionist Geometry"; D. de Jongh & F. Veltman "Provability Logics for Relative Interpretability"; S. Hayashi "Constructive Mathematics & Computer-Assisted Reasoning Systems"; B. Kushner "Markov's Constructive Mathematical Analysis: The Expectations &Results"; G. Mints "Normalization Theorems for the Intuitionistic Systems" ; D. Normann "Formalizing the Notion of Total Information"; H. Oho " Structural Rules & a Logical Hierarchy"; V. Shehtman & D. Skvortsov " Semantics of Non-classical First Order Predicate Logics"; I.N. Soskov "On the Computational Power of the Logic Programs"; G. Takeuti "Some Relations among Systems for Bounded Arithmetic"; W. Veldman "A Survey of Intuitionistic Descriptive Set Theory"; A. Visser "Interpretability Logic";S.S: Wainer "Hierarchies of Provably Computable Functions"; V.M. Abrusci " Sequent Calculus for Intuitionistic Linear Propositional Logic"; D.S. Bridges "Order Isomorphisms: A Constructive Measure-Theoretic View"; C.S. Copestake "1-Generic Enumeration Degrees Below 0' "; O. Demuth "Remarks on Denjoy Sets"; W. Dzik "Lattices Adequate for Intuitionistic Predicate Logic"; W. Penczek "A Temporal Logic for Event Structures"; etc.