Plenum 1990 new york (7 résultats)

Very good in lightly edgeworn dust jacket Cloth Prev owner's name on front fly.

Etat : 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.

Etat : 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.

Hardcover. Etat : Very Good. First Edition. Hardback. Ex-library with spine label, university and withdrawn stamps, etc., else Very Good. No Dust Jacket.

Etat : gut. VIII, 438 S : Ill., graph. Darst., 25 cm, Bibliotheksexemplar. Sprache: Englisch.

Hardcover. Etat : Very Good +. Etat de la jaquette : 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.…

orig.boards. Etat : 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. …