|
Mora Jose Ferrater; from Alonzo Church's library
Dwa znakomite dziela in Kultura Nr 5/67
Paris: Instytut Literacki 1953. Very Good condition. May - Mai 1953. Dwa znakomite dziela by Jos� Ferrater Mora occupies pages 18-32. Tipped in is the original mailing label addressed to Professor Alonzo Church Princeton University Department of Mathematics. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. This one isn't signed by him but please check our inventory for several that are. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. 160pp. Great Packaging Fast Shipping. Instytut Literacki Paperback
书商的参考编号 : 023626
|
|
|
MORIN Edgat.
LA ECOLOGIA DE LA CIVILIZACION TECNICA.
|
|
|
Morselli E.
Logica. Appunti per i licei. Seconda edizione.
Livorno, Raffaello Giusti, 1908, in-16, br. edit., pp. 81, [7]. "Biblioteca degli studenti".
|
|
|
MORSELLI, Emilio.
Logica. Appunti per i licei. Seconda edizione.
in-16, pp. 81, (9) di catalogo editoriale. Broch. edit. Seconda edizione, rara a trovarsi, di questo manualetto di filosofia ad uso degli studenti delle scuole superiori, dedicato alla logica. Ottimo esemplare. . .
|
|
|
Mortimer Ernest
Blaise Pascal : The Life and Work of a Realist
London: Methuen & Co Ltd 1959. Near Fine condition in Very Good Dust Jacket. No owner's name or bookplate. No remainder marks. Clean tight and unmarked. Pages are fresh and crisp. Illustrated with four halftone plate. Select bibliography. Index. "First published 1959" is so stated on the copyright page. . First Printing of the First Edition. Hardcover. Publisher's green cloth/DJ Not Price Clipped 21s net. 8vo. 240pp. Methuen & Co Ltd Hardcover
书商的参考编号 : 002619
|
|
|
Mouloud Noël
"Langage et structures - Essais de logique et de séméiologie - Collection "" Petite Bibliothèque Payot n°140 ""."
Payot. 1969. In-12. Broché. Etat d'usage, Coins frottés, Dos plié, Papier jauni. 252 pages.. . . . Classification Dewey : 160-Logique
书商的参考编号 : R100059182
|
|
|
MOUNIN GEORGES
CLEFS POUR LA SEMANTIQUE
SEGHERS. 1972. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos plié, Intérieur frais. 266 pages - plats et coiffes frottés.. . . . Classification Dewey : 160-Logique
书商的参考编号 : ROD0129199
|
|
|
Mouloud (Noël)
L'analyse et le sens - Essai sur les préalables sémantiques de la logique et de l'épistémologie
Payot , Bibliothèque Scientifique Malicorne sur Sarthe, 72, Pays de la Loire, France 1976 Book condition, Etat : Bon broché grand In-8 1 vol. - 335 pages
书商的参考编号 : Cyb-1870
|
|
|
MOULOUD Noël
Langage et structures. Essais de logique et de séméiologie
Paris, Payot, "Petite bibliothèque payot" n° 140, 10,5 x 17,5, 1969, 252 pages cousues sous couverture illustrée.
书商的参考编号 : LANNNGU20215
|
|
|
MOULOUD Noël,
Langage et structures: Essais de logique et de séméiologie,
Payot, Petite bibliothèque, 1969, 252 pp., poche, couverture un peu jaunie, bon état.
书商的参考编号 : 22716
|
|
|
MOUY PAUL
LOGIQUE ET PHILOSOPHIE DES SCIENCES
Hachette. 1944. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos très frotté, Intérieur bon état. 249 pages. Couverture verte et blanche. Pages légèrement passées.. . . . Classification Dewey : 160-Logique
书商的参考编号 : RO70074669
|
|
|
MOUTAFAKIS Nicholas J.
THE LOGICS OF PREFERENCE. A STUDY OF PROHAIRETIC LOGICS IN TWENTIETH CENTURY PHILOSOPHY.
|
|
|
Mugnai (Massimo)
La logica da Leibniz a Frege
In-8 broché, Loescher, 1982, 396 pp. Un peu frotté, piqué, jauni et gauchi, usure d’usage. Bon exemplaire de lecture pour ce titre peu courant. Poids 320 g. Envoi lettre verte. Frais d'envoi 6,48 euros sur la France, 12,00 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY, n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.
书商的参考编号 : UUI-11714
|
|
|
Muller (G.H.), Oberschelp (A.) and Potthof (K.), eds. - Z. Adamowicz - E. Borger - M. Boos - K. Devlin - K. Devlin and R. Jensen - J. Fenstad - R. Fittler - T. Flannagan - J. Flum - K. Gloede - C. Imbert - S. Kochen - P. Krauss - F. v. Kutschers - W. Marek and A. Mostwocki - H. Rasiowa - D. Scott
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
书商的参考编号 : Cyb-6277
|
|
|
Muller G. H.; Takeuti Gaisi; Logic Symposia 1979 Hakone MacHi Japan; Tugue T.; Logic Symposia 1980 Hakone MacHi Japan
Logic Symposia Hakone 1979 1980: Proceedings
Berlin Heidelberg New York: Springer Verlag 1981. Paperback. Near Fine -. Softcover. 394 pp. A near fine- copy in yellow wraps. Light fading and shelfwear of wraps. Slight discoloration of page outsides but text is clean bright and unmarked. #891 in Lecture Notes in Mathematics series. Springer Verlag paperback
书商的参考编号 : 0049673 ???????? : 0387111611 9780387111612
|
|
|
MURA (Aline)
Béatrix ou la logique des contraires
Paris, Honoré Champion, 1997. Coll. "Romantisme et Modernités", n° 9. Grand in-8 broché cartonné, ill. sur 1er plat (Portrait de Marie d'Agoult), 312 p. Très bon état.
书商的参考编号 : 12373
|
|
|
Musacchio, Enrico (a Cura di)
Il Pensiero Di Bertrand Russell Una Antologia Dagli Scritti
Mm 120x185 Collana "Classici della Filosofia". Brossura editoriale, xxxviii-349 pagine, timbro commerciale al frontespizio. Ottimo stato. Spedizione entro 24 ore dalla conferma dell'ordine.
|
|
|
Musatti Cesare L.
Condizioni Dell'esperienza e Fondazione Della Psicologia
Mm 160x245 Volume rilegato di pp. 387, sovraccoperta editoriale con piccolo strappo, in ottimo stato. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
|
|
|
Muskens Reinhard Anton; from the library of Alonzo Church
Meaning and Partiality
Alblasserdam: Kanters 1989. Fine condition. 16.5 cm x 24 cm. A bright clean tight copy. Sharp corners. The spine is square and flat. No creases. NO owner's name or bookplate. Pages are fresh and crisp. NO underlining. NO highlighting. NO margin notes. In English except for a one-page summary in Dutch. Bound in the original green wrappers with the author's name and address label small on the rear cover. Bibliographical references. This is one of several dozen books and periodicals from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this copy does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. First Edition. Softcover. Fine condition. vi 138pp. Great Packaging Fast Shipping. Kanters Paperback
书商的参考编号 : 009082
|
|
|
MUZZARELLI Alfonso.
Il buon uso della logica in materia di religione del canonico Alfonso conte Muzzarelli. Terza edizione con aggiunte dello stesso autore. Tomo quinto.
In Fuligno, per Giovanni Tomassini stamp. vescov., 1789, in-8, cartonatura rustica coeva, pp. 324. In gran parte intonso. Poche carte con fioriture, lievi aloni alla cartonatura. Solo volume quinto (sui sei complessivi dell'edizione).
|
|
|
MYHILL/KINO/VESLEY J./A./R.E.
INTUITIONISM AND PROOF THEORY. PROCEEDINGS OF THE SUMMER CONFERENCE AT BUFFALO, N.Y. STUDIES IN LOGIC AND THE FONUNDATIONS OF MATHEMATICS.
|
|
|
Nagel (Ernest), Newman (James R.), Gödel (Kurt), Girard (Jean-Yves) - Jean-Baptiste Scherrer, traduction
Le théorème de Gödel , Traduction de l'anglais et de l'allemand par Jean-Baptiste Scherrer (Gödel's Proof)
Seuil , Sources du Savoir Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche et rouge In-8 1 vol. - 184 pages
书商的参考编号 : Cyb-7082
|
|
|
Nagel Ernest Newman James R
Gödel's Proof
New York: New York University press 1960. second impression 1960. Fair. see pictures this is a soft cover book it has some chipping away some of the cover itself there are some tanning the edges the pages it has a crease on the spine the spline is glued and intact. the book is free of markings and inscriptions there is a small discoloration on the first page end page probably from a stock used on the cover.Research on the consequences of this great theorem continues to this day. Anyone with Internet access using a search engine like Alta Vista can find several hundred articles of highly varying quality on Godel's Theorem. Among the best things to read though is Godel's Proof by Ernest Nagel and James R. Newman published in 1958 and released in paperback by New York University Press in 1983.Ironically few mathematicians of the time were able to understand the young scholar's complex proof and the full importance of this work was largely overlooked for many years.Title Gödel's Proof Author Ernest Nagel Contributor James Roy Newman Edition 7 reprint Publisher New York University Press 1958 ISBN 0814703259 9780814703250 Length 118 pages Subjects Mathematics Logic Mathematics / Logic.about the author.Born in Czechoslovakia Ernest Nagel emigrated to the United States and became a naturalized American citizen. In 1923 he graduated from the City College of New York where he had studied under Morris Cohen with whom he later collaborated to coauthor the highly successful textbook An Introduction to Logic and Scientific Method 1934. Pursuing graduate studies at Columbia University he received his Ph.D. in 1930. After a year of teaching at the City College of New York he joined the faculty of Columbia University where in 1955 he was named John Dewey Professor of Philosophy. In 1966 he joined the faculty of Rockefeller University. Nagel was one of the leaders in the movement of logical empiricism conjoining Viennese positivism with indigenous American naturalism and pragmatism. In 1936 he published in the Journal of Philosophy the article "Impressions and Appraisals of Analytic Philosophy" one of the earliest sympathetic accounts of the works of Ludwig Wittgenstein Moritz Schlick and Rudolf Carnap intended for an American audience. Nagel was esteemed for his lucid exposition of the most recondite matters in logic mathematics and natural science published in essays and book reviews for professional journals scientific periodicals and literary reviews. Two of his books now out of print consisted of collections of his articles Sovereign Reason and Other Studies in the Philosophy of Science 1954 and Logic Without Metaphysics and Other Essays in the Philosophy of Science 1957. He also wrote a monograph Principles of the Theory of Probability 1939 which appeared in the International Encyclopedia of Unified Science. In his major book-length work The Structure of Science Nagel directed his attention to the logic of scientific explanation . .Ruth Reaser.LAX Vespa. Books and rags.- The book would be Shipped Media mail via USPS it comes from the Los Angeles Area at whatever PO is closest to my errands or my life that day since I carefully pack your book then have to hop on the Vespa and visit the PO to have it placed in our mail system.Ruth Reaser LAX Vespa . <br /><br /> New York University press paperback
书商的参考编号 : 750 ???????? : 0814703259 9780814703250
|
|
|
Nagel Ernest; Newman James R.
La prova di Gödel
br. Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei Principia mathematica e sistemi affini". Increduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato sull'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimostrava l'incompletezza di un'ampia classe di teorie formali, tra cui l'aritmetica, nonché l'impossibilità di provare all'interno delle teorie stesse la loro coerenza. L'opera di Nagel e Newman è stata concepita per condurre il lettore al cuore dell'argomentazione di Gödel.
|
|
|
Nagel, Ernest und James R. Newman
Der Gödelsche Beweis. Deutsche Übersetzung von Hubert Schleichert.
Wien, Mchn., Oldenbourg (1964). 4°, 74 S., mit rotem Klebeband u. Tixoband am Rücken verklebt, Titel u. Widmungseite am Seitenschnitt m. Tixo verstärkt, einige Knickspuren, 2 Seiten m. kl. Ausriss am Seitenschnitt, papierbed. gebräunt.
书商的参考编号 : MATH0248
|
|
|
Nakamura Katsumi; Presentation copy to Alonzo Church
Zum logischen Funktionsbegriffe des Wiener Kreises / Value and Thinking A Psychological Study
Tokyo: Privately Printed 1939. The title page is INSCRIBED to: "Professor Alonzo Church Editor of The Journal of Symbolic Logic signed Katsumi Nakamura author of this book." Very Good condition. A clean tight copy. Spine ends are mildly frayed. Pages are fresh crisp and unmarked. This book contains two papers. The first VALUE AND THINKING A PSYCHOLOGICAL STUDY pp. 1-155 is in Japanese except for an English title page. The second ZUM LOGISCHEN FUNKTIONSBEGRIFFE DES WIENER KREISES pp. 157-183 is in German. The binding is original brown cloth stamped in Japanese characters on the spine and front cover. This is almost certainly the very copy that Church used for his review of ZUM LOGISCHEN that was published in the JOURNAL OF SYMBOLIC LOGIC Vol. 6 No. 1 Mar. 1941 p. 36. It is one of several dozen books from Alonzo Church's personal library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature. Unfortunately this copy does not. But please check our inventory for others that do. However Professor Church's handwriting does appears on the front cover where he penned the author's name and a title Zum logischen Funktionsbegriffe des Wiener Kreises and again on the spine author's name only. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. Signed/Inscribed by the Author to Alonzo Church. First hardbound edition assumed. Hardcover. Very Good condition/No Jacket. 8vo. x 185pp. Great Packaging Fast Shipping. Privately Printed? Hardcover
书商的参考编号 : 007755
|
|
|
Natali Carlo Ferrari Franco
Modelli di ragionamento nella filosofia antica (Biblioteca di cultura moderna)
Laterza 1994 406 pages 13 8x2 6x20 8cm. 1994. Broché. 406 pages.
书商的参考编号 : 100132820
|
|
|
Netz Reviel Skinner Quentin Tully James
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History (Ideas in Context)
Cambridge University Press 1999 352 pages 15 95x2 34x23 6cm. 1999. Cartonné jaquette. 352 pages.
书商的参考编号 : 100132818
|
|
|
Neustadt (Lucien W.)
Optimization - A Theory of Necessary Conditions
Princeton University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1976 Book condition, Etat : Très Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 437 pages
书商的参考编号 : Cyb-7228
|
|
|
Neumann Henry
Spokesmen for Ethical Religion : Biographical Sketches of the Great Figures in the Ethical Culture Society
Boston Massachusetts: The Beacon Press 1951. A square tight copy. Dust Jacket is price clipped but repriced with an ink stamp 2.75. No owner's name or bookplate. No remainder mark. Pages are unmarked. Bound in the original brick-color cloth decorated in black. List of chapter notes/sources. Bibliography. Index. Includes profiles of Felix Adler John L. Elliott William M. Salter S. Burns Weston Stanton Coit Nathaniel Schmidt Lord Harry Snell Alfred W. Martin Anna G. Spencer. From the Dust Jacket: "This book celebrates the 75th Anniversary of the organizing of the first Ethical Culture Society in America in 1876 by Felix Adler. Its importance lies in the fact that although the Ethnical Culture Society is a small group it has exercised a wide and deep influence in this country out of all proportion to its numerical size. This book tells the reasons by illustrating them in the lives of the spokesmen -- men and women who were part of the force for progress during the past 75 years.". First Edition. Hard Cover. Very Good condition/Good Dust Jacket edge chips. 8vo. xvii 173pp. . The Beacon Press Hardcover
书商的参考编号 : 004982 ???????? : 1125320419 9781125320419
|
|
|
NEURATH Otto -
Il Circolo di Vienna e l’avvenire dell’empirismo logico.
Roma, Armando, 1977, 8vo brossura, pp. 111.
|
|
|
Neusner, Jacob
Talmudic thinking. Language, logic, law. [By Jacob Neusner].
Columbia: Univ. of South Carolina Press 1992. XVI, 193 Seiten. Gr. 8° (22,5-25 cm). Orig.-Pappband mit Orig.-Schutzumschlag. [Hardcover / fest gebunden].
书商的参考编号 : 158582
|
|
|
NEWSON/MATTHEWS John/Michael.
THE LANGUAGE OF BASIC STATISTICS. A PARTICPANT LEARNING PROGRAMME FOR STUDENTS IN EDUCATION AND THE SOCIAL SCIENCES.
|
|
|
NILSSON/ MATUSZYNSKI Ulf/ Jan.
LOGIC, PROGRAMMING AND PROLOG.
|
|
|
Noel Moulound
Linguaggio e strutture
Traduzione di Giuseppe Mininni . Saggi di logica e di semiologia...
|
|
|
NOEL, Emile (a cura di)
Aggiornamenti sull'idea di "caso". A cura di Emile Noel
191 p.; 20 cm. Brossura editoriale. Molto buono
|
|
|
Noever, Peter und Elke Krystufek
Elke Krystufek - liquid logic : the height of knowledge and the speed of thought ; [anlässlich der Ausstellung Elke Krystufek. Liquid Logic. The Height of Knowledge and the Speed of Thought, MAK Wien, 6. Dezember 2006 - 1. April 2007]. Hrsg. Peter Noever. Beiträgen von Tulga Beyerle ... MAK. [Übers.: Nadjeschda Morawec ...]
Ostfildern : Hatje Cantz c 2006. 198 S. : 132 farbige Abb. ; 32 cm Top Zustand, kart., Softcover/Paperback, Exemplar in sehr gutem Erhaltungszustand
书商的参考编号 : 54939
|
|
|
Noir Michel
Testez votre mémoire - 315 jeux facile/moyen/difficile - Collection notre temps.
Marabout. 2010. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 511 pages - quelques figures en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique
书商的参考编号 : RO80264254
|
|
|
NORMAN/ SYLVAN Jean/ Richard.
DIRECTIONS IN RELEVANT LOGIC.
|
|
|
NORRIS Christopher.
LANGUAGE, LOGIC AND EPISTEMOLOGY.
|
|
|
NOVIKOV, P. S.
Introduction à la logique mathématique. Traduit par Ch. Sarthou.
Paris, Dunod 1964, 245x160mm, VIII - 332pages, reliure d'éditeur. Plats plastifiés. Bel exemplaire.
书商的参考编号 : 74556
|
|
|
Nova Scotia Canada International Symposium on Multiple Valued Logic 27th : 1997 : Antigonish
27th International Symposium on Multiple-Valued Logic Ismvl '97 International Symposium on Multiple-Valued Logic//Proceedings
Ieee 1998-01. Hardcover. Good. Ieee hardcover
书商的参考编号 : SONG0818679107 ???????? : 0818679107 9780818679100
|
|
|
Novak Michael
A Time to Build
New York: The Macmillan Company 1967. Clean square tight copy. Lightly rubbed Dust Jacket is NOT price clipped 8.95. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Sharp corners. Pages are fresh and crisp probably never read. Index. Bound in the original maroon cloth. From the Dust Jacket: "A brilliant young philosopher probes man's moral obligation to the future. A TIME TO BUILD takes up the hard work of discovering which values in our culture are spurious which are genuine and where the work of construction begins. Evaluating Christianity's role in man's past present and future Mr. Novak examines existing structures of the Church and our society from an existential point of view from a moral point of view and from a pragmatic point of view. His topics range widely from Paul Tillich to the Vietnam War from the Free Church movement to the New Nuns." Keywords: Philosophy. Christianity. Religion. First Printing so stated. Hard Cover. Near Fine condition./Very Good Dust Jacket. 8vo. xii 493pp. The Macmillan Company Hardcover
书商的参考编号 : 003904
|
|
|
Novikov Petr Sergeevich; from Alonzo Church's library
Ob algoritmicheskoi nerazreshimosti problemy tozhdestva slov v teorii grupp leading to the Lenin Prize 1957
Moscow USSR: Trudy Matematicheskogo instituta inteni V. A. Steklova 44 1955. Text in Russian. Because Biblio.com does not accommodate Cyrillic charcters all Russian language words from this book have been here transliterated into Latin script. Good condition. Spine is worn. Edges of the cover are sunned. Pages are clean and unmarked. From Encyclopedia.com: "In 1952 Novikov constructed a finitely defined group H with an unsolvable word problem that is a group with no algorithm to solve the word problem for H. This result was first announced in his 1952 paper �Ob algoritmicheskoi nerazreshimosti problemy tozhdestva� �On the Algorithmic Unsolvability of the Word Problem�. The complete proof was published three years later i.e. in this 1955 edition. In 1957 William W. Boone gave another example of a group with an unsolvable word problem and therefore this result is called the Novikov-Boone theorem. Important corollaries derived from this theorem have suggested that there are many unsolvable algorithmic problems in fundamental branches of classical mathematics. Novikov received the Lenin Prize for this significant achievement in 1957." This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this volume does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. First Complete Edition. Softcover. Good condition. Illus. by NOT a library discard. 144pp. Great Packaging Fast Shipping. Trudy Matematicheskogo instituta inteni V. A. Steklova, 44 Paperback
书商的参考编号 : 023625
|
|
|
Nss Arne Naess from the library of Alonzo Church
Symbolsk logikk 2. utgave Del I. Ustrukturert utsagnslogikk Del II. Kvantorstrukturert utsagnslogikk : Filosofiske problemer Utgitt av Filosofisk Klubb Redakt�r: Arne N�ss
Oslo Norway: Skrivemaskinstua 1948. Very Good condition. 20.5 cm x 28.5 cm. Staple-bound light blue stiff-paper wrappers mildly faded. Spine covered with dark blue paper that is chipped at the ends. Mimeographed typescript. Pages are printed on one-side rectos only. NO owner's name or bookplate. Pages are bright white clean and unmarked. Text in Norwegian or so I'm guessing. Laid-in are 2 sheets of printed corrections Rettelser til. This is quite possibly the very copy used for the review published in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC 14 1949 185-186. It is one of several dozen books and periodicals from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this copy does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis the Church-Turing Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. 2. utgave. Oversize Softcover. Very Good condition. iv 192 sheets sides. Great Packaging Fast Shipping. Skrivemaskinstua Paperback
书商的参考编号 : 009130
|
|
|
NUZZETTI Modestino su George BOOLE
LOGICA e LINGUAGGIO nella FILOSOFIA di George BOOLE.
In-8°, pp. 71. Cartoncino edit. Timbro edit. alla sguardia. BOOLE (1815-1864), matematico britannico considerato il fondatore della logica matematic; in "An Investigation of the Laws of Thought", indirizzata alle leggi del pensiero, propose una nuova impostazione della logica, studiando le leggi delle operazioni mentali alla base del ragionamento, esprimendole nel linguaggio simbolico del calcolo: (wiki).
|
|
|
NYSSENS Paul
Pensée féconde. Collection Nyssens, culture humaine.
Bruxelles, Librairie de Culture Humaine, 1930. 13 x 19, 240 pp., broché, bon état.
书商的参考编号 : 24922
|
|
|
O BRIEN DOMINIC
N OUBLIEZ PLUS FAITS ET CHIFFRES!
GRUND. 2003. In-24. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 119 pages- illustrations monochromes. . . . Classification Dewey : 160-Logique
书商的参考编号 : R200042327
|
|
|
O'Brien Dominic
N'oubliez plus- Faits et chiffres
Gründ. 2003. In-24. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 119 pages. Nombresues illustrations monochromes, dans le texte.. . . . Classification Dewey : 160-Logique
书商的参考编号 : RO30322129
|
|
|
OCKHAM William O.F.M. (& BOEHNER Philotheus O.F.M., ed.)
Summa Logicae [2 volumes] I: pars prima, II: pars secunda et tertiae prima
St. Bonaventure, The Franciscan Institute 1951-1954 2 volumes, xiv + 461pp. (continuous pagination), 23cm., in the series "Franciscan Institute Publications. Text series" nos.2 & 4, softcovers, small label at lower end of spine, text is clean and bright, good condition, [Introduction in English, text edition in Latin], F119073
书商的参考编号 : F119073
|
|
?????????
?????PDF???
RSS feed
??
