1 936 résultats
Mm 130x180 Collana " Universale scientifica Boringhieri ". Volume di 118 pp. nella sua brossura editoriale, firma di appartenenza, opera in buone condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
Collana Urania n.66
1992158582Columbia: Univ. of South Carolina Press 1992. XVI, 193 Seiten. Gr. 8° (22,5-25 cm). Orig.-Pappband mit Orig.-Schutzumschlag. [Hardcover / fest gebunden].
182814816Bachelier Librairie parisienne | Paris & Bruxelles 1828 | 8.50 x 13.50 cm | relié
Baarn, Het Wereldvenster 1971, 19pp., 2°dr., gesigneerd
New Turkish Original bdg. HC. Roy. 8vo. (24 x 17 cm). In Turkish. 488 p. Ta'lîkât: (Gelenbevî'nin mantik ilmine ait Burhân isimli kitâbi üzerine).
1988009096Wroclaw Poland: Wydawnictwo Uniwersytetu Wroclawskiego 1988. Very Good condition. 17 cm x 23.5 cm. Bound in the original brown pictorial wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. Sketches from the History of German Philosophy. Text in Polish with brief summaries in German. Footnotes. Bibliographical references. ACTA Universitatis Wratislaviensis No. 835. Prace Filozoficzne L. Historia Filozofii 6. 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. Very Good condition. 114pp. Great Packaging Fast Shipping. Wydawnictwo Uniwersytetu Wroclawskiego Paperback
London, Hodgson & Son, 1939. Royal8vo. In a contemporary full cloth binding with gilt lettering to spine and blindstamped boarders to boards. Entire volumes 45 of ""Proceedings of the London Mathematical Society. Second Series"". Title-page with repairs in inner margin and inner back hindge with repairs. Small bookseller label pasted on to lower part of verso of title-page. Pp. 161-240. [Entire volume: (4), 475 pp.].
2 voll. in 8° entro mezza pelle coeva dorso a quattro nervi con decorazioni e titolo in oro, pp. XXIV, (544); pp. XXII 561, (1); buon esemplare, lievissime fioriture alle sole pagine prossime alla legatura. (XE2) (XE2)
13x19 cm. 622 page. Gilt hardcover. Rear cover wrinkled and bumped from water damage. Cover worn in edges. Binding visible between several pages. Several uncut pages. Pages yellowing. Else in good condition.
1848900872.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1963009107México: Universidad Nacional Autónoma De México Centro De Estudios Filosoficos 1963. Near Fine condition. 14 cm x 22.5 cm. Bound in the original brown wrappers. NO owner's name or bookplate. Pages are clean and unmarked. This booklet contains four papers on Edmund Husserl principal founder of phenomenology and his notion of lebenswelt life world -- 1 in Spanish 2 in German and 1 in English. XIII Congreso Internacional De Filosofia México D.F 7-14 De Septiembre De 1963. Proceedings of the XIIIth International Congress of Philosophy. 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 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. First Edition Primera edición. Softcover. Near Fine condition. ii 95pp. Great Packaging Fast Shipping. Universidad Nacional Autónoma De México Centro De Estudios Filosoficos Paperback
1948009130Oslo 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
356 p. Hardcover Very good condition good
1986009114Louvain Belgium: Central National Belge de Recherches de Logique / Nauwelaerts Printing 1986. Very Good condition. 16 cm x 24 cm. A solid copy. Bound in the original paper wrappers. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. This issue contains 9 papers all in English including: IN DEFENSE OF TEMPORALLY RELATIVE DEONTIC LOGIC A REPLY TO PROFESSOR CASTANEDA by Job van Eck; and THE FORMAL STRUCTURE OF THE LIAR PARADOX by Geoffrey Hunt. 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 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. First Edition première édition. Softcover. Very Good condition. pp. 251-385. Great Packaging Fast Shipping. Central National Belge de Recherches de Logique / Nauwelaerts Printing Paperback
1955009116Chartres: Imprimerie Durand 1955. Very Good condition. 16 cm x 24.5 cm. A solid copy. Bound in the original paper wrappers a little age-toned and lightly chipped at the spine ends. NO owner's name or bookplate. Pages are clean and unmarked. Relation theory. Ph.D. thèses présentées a la faculté des sciences de l'université de Paris. soutenues le 29 octobre 1953. Text in French with English summary. This work was reviewed by Paul Dedecker in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC Volume 22 Issue 4 1957 371-372. The French mathematical logician Roland Fraïssé 1920-2008 received his doctoral degree from the University of Paris in 1953. In this his thesis Fraïssé devised a method of determining elementary equivalence. Using a back-and-forth methodology he determined whether two model-theoretic structures were elementarily equivalent. It was later formulated as the Ehrenfeucht-Fraïssé game. 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 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. . First Edition Thus première édition. Softcover. Very Good condition. 155pp. Great Packaging Fast Shipping. Imprimerie Durand Paperback
Milano, Colombo, 1860, in-8, br.
In 8', br. ed. pp. 214, bruniture al dorso e ai margini della cop., interno in buono stato, ordinari segni del tempo
1951F119073St. 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
Cinque letture tradotte da E. Roncali con prefazione di G. Vitali; rilegatura in tela macchiata ma interno perfetto. Rilegato
In-4° (cm. 32,7), pp. 23 (da p. 321 a p. 341). Bross. provvioria muta, orecchie vistose e fioriture, segni a penna in cop. L'Autore si dchiara "in assoluta discrepanza d'opinione con parecchi distintissimi Gotti". "BELLAVITIS, professore di matematica, va ricordato per il suo metodo delle equipollenze e per il suo lavoro sulle soluzioni numeriche delle equazioni geometriche, membro dell'Istituto Veneto di Scienze, Lettere ed Arti dal 1840, senatore (sbn). Esemplare da studio. Censito come estratto in 4 librerie.
In-8° (cm. 24,1), pp. 11. Elegante brossura editoriale con titolo e grafica ornata di V. Ruini. Cifretta a biro in cop. PASTORE, filosofo della scienza e logico sperimentale, Docente di Filosofia teoretica dell'Università di Torino al 1914 al 1939, quando fondò e diresse il laboratorio di logica sperimentale di Torino. Fu collaboratore della «Rivista di filosofia». Sepolto a Bruino. Estratto censito in 7 bibl.
DEDICA AUTOGRAFA FIRMATA dell'Autore all'illustre prof. Tommaso BOGGIO". In-8° (cm. 25). pp. 16 (da p. 47 a p. 62). Estratto dai Rendiconti del Seminario mat. e Fisico di Milano, anno VI, vol. II, 1928. "... dare un'idea degli studi intorno ai fondamenti della matematica, i quali hanno avuto un particolare incremento nell'ultimo cinquantennio per opera specialmente della scuola logica matematica italiana facente capo a Giuseppe PEANO": Estr. censito alla sola Biblioteca del Dipartimento di matematica - Alma Mater Studiorum - Università di Bologna.
RO30096952MARKETIN. Non daté. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 50 pages. Contient 84 jeux de sudoku et les solutions.. . . . Classification Dewey : 160-Logique
35771910-nnew. unknown
