‎Milosav, Peter Ercegovaca, Irene‎
‎Mathematics & Mathematical Logic‎

‎Merging Disciplines : New Directions in Pure, Applied, and Computational Mathematics - Proceedings of a Symposium Held in Honor of Gail S. Young at the University of Wyoming, August 8-10, 1985 Sponsored by the Sloan Foundation, the National Science Foundation and the Air Force Office of Scientific Research , (Computer graphics applications in geometry - Modelling and algorithmic issues in intelligent control - Global observability of ergodic translations on compact groups - Mathematical modeling and large-scale computing in energy and environmental research - Symbolic manipulation - Some unifying concepts in applied mathematics - Teaching and research : The history of a pseudoconflict - Stochastic population theory : Mathematical evolution of a genetical model - Combinatorics and applied mathematics - Applied logic -Pure and applied mathematics from an industrial perspective - Letter values in multivariate exploratory data analysis - Newton's method estimates from data at one point - Error bounds for Newton's method under the Kantorovich assumptions - Panel discussion : Implications for undergraduate and graduate education in mathematics)‎

‎Springer Malicorne sur Sarthe, 72, Pays de la Loire, France 1986 Book condition, Etat : Bon hardcover, editor's printed yellow binding grand In-8 1 vol. - 230 pages‎

‎25 illustrations, a black and white photography of Gail S. Young in frontispiece 1st edition, 1986 Contents, Chapitres : Preface by Peter Hilton, Contents, Presentation, Introduction, xvi, Text, 214 pages - Thomas S. Banchoff : Computer graphics applications in geometry - Christopher J. Byrnes : Modelling and algorithmic issues in intelligent control - Lance Drager and Clyde Martin : Global observability of ergodic translations on compact groups - Richard E. Ewing : Mathematical modeling and large-scale computing in energy and environmental research - Harley Flanders : Symbolic manipulation - Ismael Herrera : Some unifying concepts in applied mathematics - Peter Hilton : Teaching and research : The history of a pseudoconflict - Kenneth J. Hochberg : Stochastic population theory : Mathematical evolution of a genetical model - Daniel J. Kleitman : Combinatorics and applied mathematics - Anil Nerode : Applied logic - H.O. Pollak : Pure and applied mathematics from an industrial perspective - Donald St. P. Richards and Rameshwar D. Gupta : Letter values in multivariate exploratory data analysis - Steve Smale : Newton's method estimates from data at one point - Tetsuro Yamamoto : Error bounds for Newton's method under the Kantorovich assumptions - Sol Garfunkel : Panel discussion : Implications for undergraduate and graduate education in mathematics - Epilogue by Gail Young binding is near fine, with light adhesive track on the bottom of the spine, inside is fine except few library marks on the title page, main text remains unmarked and clean, a very good reading copy‎

‎Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover, 1966 (Logique mathématique) , Studies in Logic and the Foundations of Mathematics (Saturated intuitionistic theories - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - On recursively unsolvable problems in topology and their classification - Constructive thermodynamics - A deduction theorem for inferential predicate - Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - Equational maps - Some forms of models of proportional calculi - Lenghts of formulas and elimination of quantifiers I - A decision procedure for the weak second order theory of linear order - Strukturzahlen in endlichen Relationssystemen - A survey of some connections between classical intuitionistic and minimal logic - Zur Semantik der intuitionischen Aussagenlogik - Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - Reflection principles of subsystems of analysis -Equational logic and equational theories of algebras - The use of Brouwer's principle in intuitionistic topology)‎

‎North-Holland Publishing Company , Studies in Logic and the Foundations of Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon hardcover, editor's yellow printed binding, no dust-jacket grand In-8 1 vol. - 309 pages‎

‎ 1st edition, 1968 Contents, Chapitres : Contents, Preface, xi, Text, 298 pages - P.H.G. Aczel : Saturated intuitionistic theories - W.W. Boone : Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - W.W. Boone, W. Haken and V. Poenaru : On recursively unsolvable problems in topology and their classification - W.K. Burton : Constructive thermodynamics - H.B. Curry : A deduction theorem for inferential predicate - J. Diller : Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - W. Felscher : Equational maps - R. Harrop : Some forms of models of proportional calculi - L. Hodes and E. Speckler : Lenghts of formulas and elimination of quantifiers I - H. Lauchli : A decision procedure for the weak second order theory of linear order - W. Obserschelp : Strukturzahlen in endlichen Relationssystemen - D. Prawitz and P.-E. Malmnas : A survey of some connections between classical intuitionistic and minimal logic - K. Schütte : Zur Semantik der intuitionischen Aussagenlogik - D. Siefkes : Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - G. Takeuti and M. Yasugi : Reflection principles of subsystems of analysis - A. Tarski : Equational logic and equational theories of algebras - A.S. Troelstra : The use of Brouwer's principle in intuitionistic topology the editor's binding is fine but without dust-jacket, inside is good, adhesives tracks on the end-paper (first and last pages), the former owner had underlined very few lines at red ink with rules, on about 20 lines, the text remains clean, it's still a good copy in the first edition, 1968, no other markings‎

‎ISILC Logic Conference - Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (Mathematical Logic) , Lecture Notes in Mathematics, volume 499 (An observation on the product of Silver's forcing - Recursively unsolvable algorithmic problems and related questions reexamined - Lectures on large cardinal axioms - Indescribability properties and small large cardinals - Marginalia to a theorem of Silver - Computation theories : An axiomatic approach to recursion on general structures - Closed models and hulls of theories - Axioms of choice in Morse-Kelley class theory - First-order logic and its extensions - Set theory in infinitary languages - Sur la méthode en histoire de la logique - The model theory of local fields - Quantifier elimination - Intensional semantics for natural languages - On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - Many-valued algorithmic logic - Data types as lattices)‎

‎Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1975 Book condition, Etat : Bon paperback, editor's yellow and black printed wrappers grand In-8 1 vol. - 655 pages‎

‎ 1st edition, 1975 Contents, Chapitres : Contents, v, Text, 651 pages - Z. Adamowicz : An observation on the product of Silver's forcing - E. Borger : Recursively unsolvable algorithmic problems and related questions reexamined - M. Boos : Lectures on large cardinal axioms - K. Devlin : Indescribability properties and small large cardinals - K. Devlin and R. Jensen : Marginalia to a theorem of Silver - J. Fenstad : Computation theories : An axiomatic approach to recursion on general structures - R. Fittler : Closed models and hulls of theories - T. Flannagan : Axioms of choice in Morse-Kelley class theory - J. Flum : First-order logic and its extensions - K. Gloede : Set theory in infinitary languages - C. Imbert : Sur la méthode en histoire de la logique - S. Kochen : The model theory of local fields - P. Krauss : Quantifier elimination - F. v. Kutschers : Intensional semantics for natural languages - W. Marek and A. Mostwocki : On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - H. Rasiowa : Many-valued algorithmic logic - D. Scott : Data types as lattices wrappers are clean with minor folding tracks on corners of the bottom part, inside is clean, paper is lightly yellowing, the former owner had underlined very few lines at red ink with rules, about 25 lines, the text remains clean, his signature on the corner of the first page, it's still a good reading copy‎

‎Mathematics of the 19th century. Book 1. Mathematical logic. Algebra. Theory of‎

‎Mathematics of the 19th century. Book 1. Mathematical logic. Algebra. Theory of numbers. Theory of probabilities. Book 2. Geometry. Theory of analytical functions. In Russian /Matematika XIX veka. Kniga 1. Matematicheskaya logika. Algebra. Teoriya chisel.Teoriya veroyatnostey. Kniga 2. Geometriya. Teoriya analiticheskikh funktsiy. Edited by A.N. Kolmogorov and A.P. Yushkevich. M. Nauka. 1978, 1981. 256 p. We have thousands of titles and often several copies of each title may be available. Please feel free to contact us for a detailed description of the copies available. SKUalbdf5d3c8351400339.‎

‎Introduction to Mathematical Logic. Part 1 (All published). (Annals of Mathematics Studies Number 13).‎

‎Princeton, Princeton University Press, 1944. 8vo. Original stiff wrappers. IV,118,(2) pp. A fine copy.‎

‎First edition. The forerunner to Church's classic text book 'Introduction to Mathematical Logic, 1956'.‎