Shaw, Lecturer in Logic PatrickBiblio.com
1 806 résultats
réf. 1166475190.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
196623x15 cm. XVII+393 pages. Softcover. Cover corners and edges slightly wrinkled and rubbed. Else in good condition.
18868vo., small neat signature on title; handsomely bound in brown full crushed morocco, sides with gilt frame border, back with raised bands, second and fourth compartments lettered and ruled in gilt, all other compartments tooled and ruled in gilt, gilt top, hand-made endpapers, original gilt from backstrip preserved and mounted on new leaf at front, ribbon marker, a most attractive copy ideal as a gift or for presentation. First published in 1843. Includes the author's Prefaces to the first, third, fourth and eighth editions.
1938New York, American Institute of Electrical Engineer [AIEE], [1938 or after]. Folio (280 x 218 mm). A spirit duplicated (dittoed) copy of a corrected version of the originally published AIEE-paper. From the library of Claude Shannon (unmarked). Only printed on recto, stapled in upper left corner. To upper margin of first leaf: ""Reprinted from A.I.E.E. Transactions, Vol. 57, 1938, with permission of A.I.E.E. and Author"". P. 718 with the note: ""This section has been revised by the author from the original 1938 paper which contained an error"", and pp. 718 and 719 with parts of the original text having been replaced with a different text. Paper creased and yellowed, traces from leaves having been folded. Pp. 713-723.
1997484 pages. Clean and unmarked with light wear. Quality copy. Book
1996réf. 027940New York: Routledge 1996. NOT a library discard. Bright and shiny. NO owner's name or bookplate. NOT a remainder. Near Fine condition but for notes on the front free endpaper and missing the title/copyright leaf. All other pages are present and are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Bound in the original white red and black laminated boards illustrated with a geometric pattern on the front. From the rear cover: "This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: AN INTRODUCTION TO MODAL LOGIC and A COMPANION TO MODAL LOGIC. A NEW INTRODUCTION TO MODAL LOGIC is an entirely new work completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic without sacrificing the clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness and finite and infinite models and their philosophical applications especially in the area of modal predicate logic.". Hardcover. Near Fine condition/No dust jacket as issued. Illus. by NOT a library discard. 8vo. x 422pp. Great Packaging Fast Shipping. Routledge Hardcover
1953réf. 006410Princeton New Jersey:: Princeton University Press 1953. SIGNED BY ALONZO CHURCH. Very Good condition with remnants of dust jacket laid-in. A clean square copy. Hinges are perfect. Mild corner bumps not affecting any text. Pages are clean. No foxing. No underlining. No highlighting. No margin notes. Translated by Derk Bodde with introduction notes bibliography and index. First printing with "First published 1953" so stated on the copyright page. Bound in the original black cloth lettered in shiny gold on the spine. This copy is from the library of Alonzo Church and bears his ink signature on the title page. This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Quite a few contain his signature or a presentation inscription to him. Please check our inventory. 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 BY ALONZO CHURCH. First Edition. Hardcover. Very Good condition./Remnants of DJ laid-in. 8vo. ix 396pp. Great Packaging Fast Shipping. Princeton University Press Hardcover
1938réf. 006438Philadelphia: Westbrook Publishing Company 1938. INSCRIBED by the author on the front pastedown endpaper: "To Prof. A. Church / Dec 14 '38 / With the profound respects of the / author / signed Irwin Biser." Very Good condition. A clean square tight copy. Hinges are perfect. Mild bend/crease at the bottom of the front board. Spine a little sunned. Bound in the original maroon cloth lettered in bright gold on the front cover. This 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 including this one contain a presentation inscription to him. A few others are signed by him -- please check our inventory. 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. INSCRIBED / SIGNED by the AUTHOR. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. 155pp. Great Packaging Fast Shipping. Westbrook Publishing Company Hardcover
1994216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789
1959réf. 46888No place The Association for Symbolic Logic 1959. 8vo. Wrappers blank with printed title on spine. Entire issue No. 1 of vol. 24 offered. Fine and clean. The seminal first printing of Kripke's debut article which provided the basis for his logic and for the model theory for modal logic in general. The work constitutes the very beginning of Kripke Semantics often called possible world semantics. Kripke's works in general are rare in fist editions. Many of them remain unpublished and are only known in privately circulated manuscripts.The American philosopher Saul A. Kripke born 1940 is an exceedingly important logician and philosopher of language and one of the most powerful and influential thinkers of analytic and Anglo-American philosophy. He is considered the greatest living philosopher and perhaps the greatest since Wittgenstein. In 2001 he was awarded the Schock Prize in Logic and Philosophy which is considered the philosopical equivalent of the Nobel Prize.Kripke who grew up in Omaha in a religious Jewish family was somewhat of a prodigy child. During grammar school he got intimately acquainted with and mastered to perfection algebra geometry and calculus and very early on he took up philosophy which later became his career. Still a teenager in high school he wrote a work that was to change the face of philosophical logic forever namely the groundbreaking paper "A Completeness Theorem for Modal Logic" which was printed a few years later in 1959 in the Journal of Symbolic Logic while he was in his first year at Harvard University. This seminal debut work proposed what later came to be known as Kripke models for modal logic. The story goes that the paper earned a letter from the department of mathematics urging Kripke to apply for a job there to which he is said to have written an answer explaining "My mother said that I should finish high school and go to college first."In 1962 he graduated from Harvard University where he remained until 1968 first as a member of the Harvard Society of Fellows and then as a lecturer. During these years he developed the logical theories founded in the "Completeness Theorem" further and made seminal contributions to the field of logic and semantics. Kripke Semantics is a formal semantics for non-classical logic systems that Kripke began developing in his teenage years first published something on in 1959 the present work and further developed in the 60'ies and. The development of Kripke Semantics was no less than a breakthrough in the making of non-classical logics of which no model theory existed before Kripke's. With this work Kripke laid the foundation for proving completeness theorems for modal logic and for identifying the weakest normal modal logic which is now named K after him. unknown
1959réf. 46888(No place), The Association for Symbolic Logic, 1959. 8vo. Wrappers blank with printed title on spine. Entire issue No. 1 of vol. 24, offered. Fine and clean.
1994réf. F108789Berlin, 1994 216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789
réf. 132514aafKluwer Academic Publishers, 2000, gr. in-8vo, X + 336 p., cartonnage original avec jaquette.
2017réf. R200134987Hachette. 2017. In-8. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Papier jauni. 431 pages, nombreuses illustrations et photos en couleur dans le texte.. . . . Classification Dewey : 160-Logique
in-8, 292 pages, broché. Bel exemplaire. [SO-4]
2010réf. R200139101Express Roularta. 2010. In-8. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Intérieur frais. 292 pages, nombreuses illustrations en noir et blanc dans et hors texte.. . . . Classification Dewey : 160-Logique
1975réf. PHIL1763Ldn., Ontario (1975). 4°, XXV, insges. 422 S., 6 S. Index, OKart., stärker abgegriff., kl. Braunfl. auf Vorderdeck., schwache Knickspuren, aufgelesen, etliche Seiten m. Randläs., Stellspuren.
1608réf. 57593Argentorati Strassburg Conradus Scher 1608 - Strassburg Raab 1612. - Strassburg Raab 1612 Small 8vo. 3 works bound in one contemp. full vellum. Covers blindtooled in panels with floral cornerpieces. Old handwritten title on spine. Light wear. An: 1. 244497 pp. First edition. Thesaurus II338 - 2. 208 pp. - 3. 2426116 of 24 pp. Lacking the last leaves in the Index. 7 leaves with lower corners torn of which 2 have some loss of letters. Light browning an yellowing to leaves. "Bartholin’s fame is due not to his originality but to his learning and reputation as a teacher; as a strict Aristotelian he clarified the essential points in the doctrines of his time eliminating obsolete and superfluous theories. As a theologian his personal life was marked by piety and Lutheran orthodoxy. His anatomical manual Institutiones well arranged and handy but without illustrations was reprinted five times. It became still more famous when his son Thomas brought out an enlarged and illustrated edition."DSB. hardcover
2001réf. SCI5003MBroché, 176 pages, paru le 13 novembre 2001 chez POLE Production et organisation du loisir éducatif, livre en très bon état général, quasi neuf.
2007réf. RO40054431HACHETTE PRATIQUE. 2007. In-12. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Quelques rousseurs. 120 PAGES. Quelques annotations au crayon à papier.. . . . Classification Dewey : 160-Logique
1977réf. 1222651977 Editions Chêne - 1977 - Petit in-4, cartonnge toil noir, titre blanc au dos, SANS jaquette - 200 pages - Très nombreuses illustrations en couleurs et en N&B in-texte
1608réf. 57593Argentorati (Strassburg), Conradus Scher, 1608 - (Strassburg), Raab, 1612. - (Strassburg, Raab, 1612 Small 8vo. 3 works bound in one contemp. full vellum. Covers blindtooled in panels with floral cornerpieces. Old handwritten title on spine. Light wear. An: 1. (24),449,(7) pp. First edition. (Thesaurus II,338) - 2. (208) pp. - 3. (24),261,(16 of 24 ?) pp. Lacking the last leaves in the Index. 7 leaves with lower corners torn of which 2 have some loss of letters. Light browning an yellowing to leaves.
1983réf. R100067488Presses Universitaires de France. 1983. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Papier jauni. 268 pages.. . . . Classification Dewey : 160-Logique
1965réf. RO30331283Presses universitaires de France. 1965. In-8. Broché. Etat passable, Couv. légèrement passée, Dos plié, Intérieur acceptable. 429 pages. Légèrement désolidarisé. Notes au crayon en page de faux titre. Coins frottés.. . . . Classification Dewey : 160-Logique
2013réf. RO90004592EDITIONS 10/18 N° 4592. 2013. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 139 Pages, couverture illustrée en couleur. . . . Classification Dewey : 160-Logique
