Diego LatellaMareMagnum
1 936 résultats
Diego Latella Logica e introduzione alla programmazione logica. , PÃ tron 1989, Libro in discrete condizioni, presenta pagine interne ingaillite e copertina lievemente usurata Mediocre (Poor) . <br> <br> <br> 127<br>
1969Cyb-6797Editions OCDL - O.C.D.L. Malicorne sur Sarthe, 72, Pays de la Loire, France 1969 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche et bleue, illustrée d'une figure d'ensembles In-8 1 vol. - 101 pages
1970Cyb-614O.C.D.L. , Centre d'Etudes du Processus d'Apprentissage en Mathématiques, CEPAM Malicorne sur Sarthe, 72, Pays de la Loire, France 1970 Book condition, Etat : Bon broché In-8 1 vol. - 101 pages
1966R200134515O.C.D.L.. 1966. In-8. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Quelques rousseurs. 52 pages, nombreuses illustrations en noir et blanc dans le texte - papier jauni, rousseurs sur les plats et pages, coins frottés.. . . . Classification Dewey : 160-Logique
In 8', br. ed. pp. 196, bruniture e spaccature al dorso, segni d'uso ai piatti, fioriture e segni del tempo all'interno.
1989100124469Bristol Classical Press 1989 156 pages 16 2x1 4x23 8cm. 1989. Relié. 156 pages.
1962009111Bruxelles: Office International de Librairie 1962. SEE OUR PHOTOS. Very Good condition. 16 cm x 25 cm. A solid copy -- square and tight. Bound in the original tan-color paper wrappers mildly sunned at the edges. Stamped in red and black. NO owner's name or bookplate. Final page of text has a tiny corner stain. Otherwise pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Théoriques 11. Introduction by S. Dockx and 10 papers -- 9 in French 1 in German by P. Bernays. Contributions by F. Gonseth L. Rosenfeld V. Tonini M.-A. Tonnelat J.-L. Destouches L. Brillouin O. Costa de Beauregard I. Prigogine and H. Freudenthal. Includes: Le conflit épistémologique entre Einstein et Bohr by L. Rosenfeld. 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. 128pp. Great Packaging Fast Shipping. Office International de Librairie Paperback
1963009112Bruxelles: Office International de Librairie 1963. Very Good condition. 17 cm x 24 cm. A solid copy -- square and tight. Bound in the original paper wrappers stamped in red and black. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Théoriques 12. Introduction and 8 papers -- 7 in French 1 in German by Bernhard Rensch. Some discussion and summaries are in English. Contributions by Stanislas Dockx; Léon Brillouin; Valerio Tonini; Olivier Costa de Beauregard; Marius Jacob Sirks; Dominique Henri Salman; Hendrik Pieter Wolvekamp. 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 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. 179pp. Great Packaging Fast Shipping. Office International de Librairie Paperback
1942007675New York: The Macmillan Company 1942. Very Good condition. A solid copy. Square and reasonably tight. Hinges are sound. Text pages are clean and crisp. No underlining. No highlighting. No margin notes. Illustrated with figures/diagrams/maps. Tables. Graphs. Bibliography. Index. Bound in the original brick red cloth lettered in shiny gold over black on the spine and front cover. This is one of 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 copy does not have those signs of his ownership. Please check our inventory for several others that do. But this is almost certainly the very copy that Church used for his review of the book that appeared in the JOURNAL OF SYMBOLIC LOGIC vol. 7 issue 3 1942. 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. Hardcover. Very Good condition/No Jacket. 8vo. ix 944pp. Great Packaging Fast Shipping. The Macmillan Company Hardcover
1987RO80155029CARRERE / VERTIGES DU NORD. 8 avril 1987. In-8. Broché. Etat d'usage, Couv. légèrement pliée, Dos plié, Intérieur frais. 464 pages.. . . . Classification Dewey : 160-Logique
PROBLEMI EPISTEMOLOGICI DA HUME ALL'ULTIMO WITTGENSTEIN ADRIATICA 1967 SEGNI DEL TEMPO, 525 PAGINE, GRAN PARTE ANCORA INTONSE
Firenze, Carlo Pratesi, 1921, in-16, br. edit., pp. 136.
Firenze, Carlo Pratesi Piazza del Duomo 15), 1928, in-8, br. editoriale, pp. XXX, 314. "Opuscoli fiorentini" N. XVI - XVII.
Mm 145x210 Collana "Seria M" - Brossura originale, 80 pagine con figure nel testo. Copia ottima; spedizione in 24 ore dalla conferma dell'ordine.
PUF. 1933. In-8 Carré. Broché. Etat d'usage. Couv. légèrement passée. Dos frotté. Intérieur acceptable. 148 pages. 2e édition revue. M. Dorolle, Prof. au Lycée Condorcet. La méthode expérimentale. Les opérations inductives et l'induction...
1904987060.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1940006437New York: Henry Holt and Company 1940. Very Good condition. A clean square tight copy. Hinges are perfect. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Review Copy with publisher's printed ad on the front pastedown endpaper saying the book is "a new and impressively different introductory text." and listing $3.40 as the price. Bound in the original bluish-green cloth lettered in gold on the spine. This is one of 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 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. Hardcover. Very Good condition/No Jacket. 8vo. xii 428pp. Great Packaging Fast Shipping. Henry Holt and Company Hardcover
138pp., 21cm., softcover, text in German, Doctoral dissertation (Dissertation zur Erlangung der Doktorwürde der Philosophischen Fakultät der Universität Hamburg), stamp at verso of title page, text is clean and bright, good condition, F109135
1966F109135Hamburg, 1966 138pp., 21cm., softcover, text in German, Doctoral dissertation (Dissertation zur Erlangung der Doktorwürde der Philosophischen Fakultät der Universität Hamburg), stamp at verso of title page, text is clean and bright, good condition, F109135
<p>20 cm, rilegatura coeva in piena pelle, titolo e fregi in oro al dorso che è diviso da cinque nervi, risguardi in carta policroma, tagli colorati; Epître à Madame la Marquise de Pompadour anteposta all'avvertisment, XIV, (4), (2), 310, (8). Qualche brunitura (viraggio della carta). Incipit e finalini silografici.</p>
175775001757 Paris, chez David, Libraire, 1757 ; In-8°, plein veau marbré de l' époque, dos à nerfs, compartiments de double filet doré très orné de fleurons et petits fers dorés, palette dorée en tête et pied, titre doré sur étiquette de maroquin citron, tranches rouges; XIVpp.( titre, avertissements), (4)pp.( Epître à Madame la Marquise de Pompadour),(II)pp.(errata), 310pp., (7)pp.( Table, approbation privilège).L'épitre à la Marquise de Pompadour par le libraire David, est placée entre le titre et l'avertissement de la première édition. Bon exemplaire de ce classique de la rhétorique et de la logique : I. Des tropes en général - II. Des tropes en particuliers : la catachrese, la métonymie , la métalepse, la synecdoque, l'antonomase, la litote, la métaphore, l'allusion, l'ironie, l'euphémisme, l'antiphrase, la périphrase, l'hypallage, l'onomatopée,etc...- III. Des autres sens dans lesquels un même mot peut être employé dans le discours.
256pp., 23cm., br.orig., annotations et soulignements aux pages 1 à 105, rare, F80540
1894F80540Bruxelles, Société Belge de Librairie 1894 256pp., 23cm., br.orig., annotations et soulignements aux pages 1 à 105, rare, F80540
In 8o, pp. 89, br. Come nuovo (5599/ MATEMATICA - LOGICA - MATHEMATIQUE)
3683Paris, Larrousse, 1972, 246 pp. in-8, br.
