2 444 résultats
1909réf. F38708Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état
1909réf. F38921Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., dédicacé par les deux auteurs, pour la plupart non coupé, couv.peu usée, bon état
1752réf. 88738George Conrad Walther | Dresde 1752 | 18.2 x 24 cm | Relié
1990réf. R320025702FRANCE LOISIRS. 1990. In-4. Cartonné. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 126 pages illustrées de nombreuses figures e nnoir et vert.. . . . Classification Dewey : 160-Logique
1990réf. RO30348061France Loisirs / Solar. 1990. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Papier jauni. 126 pages. Nombreuses illustrations en noir et blanc et en couleurs, dans et hors texte.. . . . Classification Dewey : 160-Logique
réf. 34830P., Le Seuil (Collection "Science Ouverte"), 1966, in 8° broché, 143 pages.
1955réf. 009117Paris / Louvain: Gauthier-Villards / Nauwelaerts 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and reasonably tight. Bound in the original paper wrappers a little sun-faded at the edges. NO owner's name or bookplate. Pages are clean and unmarked but for a tiny ink mark in the margin only of a few pages at the end. Collection de logique mathematique série A No. I. The first page has one small ink stamp: "HOMMAGE DE L'AUTEUR." 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. Deuxième édition revue et augmentée. Softcover. Very Good condition. xv 243pp. Great Packaging Fast Shipping. Gauthier-Villards / Nauwelaerts Paperback
réf. 15047Paris librairie Félix ALCAN 1918.In 8 demi-toile marron à la bradel,140x220 mm,Poids 550 grammes.titre doré,faux-titre, titre,461 pages,2 pages de table.Bon exemplaire
DU ROCHER. 1984. In-8 Carré. Broché. Etat d'usage. Couv. légèrement passée. Dos satisfaisant. Intérieur frais. 305 pages augmentées de nombreuses illustrations en noir et blanc dans et hors texte- couverture salie Ouvrage collectif - préface de Michel Random
1963réf. 009112Bruxelles: 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
2002réf. 417532002. Piment. 2002. Format poche.Tres bon etat..
1818réf. 56637BBStuttgart, Steinkopf Verlag, 1818. Klein-8°. 18 cm. XII, 211 Seiten. Neuerer Pappband.
1894réf. R260173469HACHETTE. 1894. In-8. Relié demi-cuir. Etat d'usage, Coins frottés, Dos satisfaisant, Quelques rousseurs. 384 pages. Dos de cuir noir titres et roulettes dorés. Papier vert et noir sur les plats très frottés. Tampons de bibliothèque. Epidermures.. . . . Classification Dewey : 160-Logique
Librairie Hachette et Cie, Paris. 1886. In-8 Carré. Relié. Etat d'usage. Couv. convenable. Dos fané. Rousseurs. 384 pages. Titre doré sur le dos. Etiquette de code sur la couverture. Quelques tampons et annotations de bibliothèque. Quelques feuillets déchirés et détachés. Nombreuses annotations au crayon dans le texte (ouvrage de travail). Objet et division de la Logique. Logique formelle. Logique apliquée. De l'Erreur...
1981réf. PHIL2065Wien, Verlag d. österr. Akademie d. Wissenschaften 1981. 147 S., mit 9 Abb., OKart., fast wie neu. (= Österr. Akademie d. Wissenschaften, Sitzungsberichte, 391. Bd., Heft 38).
1958Collana Urania n.179
1756réf. GOTb276A Paris chez les Frères Estienne 1756. In-12 596pp 2ff n ch. Pleine basane havane, dos à nerfs orné de compartiments dorés, pièce de titre tabac, double encadrement de filets dorés sur les plats, tranches brique, rel époque. orné d'un frontispice et 20 planches hors texte dépliantes. Petit manque sur la coiffe supérieure et une coupe, 1 coin usé, manque 1 page de garde. Bien complet du frontispice et des 20 planches.
1998réf. 13413Albin michel 1998 287 pages 14 6cm x 22 5cm x 2 3cm. 1998. broché. 287 pages. Le livre 'Le secret des nombres' d'André Jouette propose des jeux énigmes et curiosités mathématiques accessibles à tous sans connaissance préalable requise. Il explore l'arithmétique ordinaire rappelle des formules utiles et présente des problèmes inattendus avec leurs solutions
In 16o, pp. 208, carton. coevo. Traduzione dal francese dell'abate Diodato Anniani Romano. L'abate Cochet era rettore anziano dell'Università. di Parigi. Lieve gora di umidità. Ottimo e raro (2502/ LOGICA - FILOSOFIA - BELLE ARTI - LUCCA)
réf. 2963n 4°. Ed. Masson et Cie, 1938. Br. 209 pp.Exemplaire non coupé. tres bon etat , complet , photos sur demande , 11 planches + des illustrations in texte
1956240pp., 23cm., brochure originale, non coupé, très bon état, F94317
1956réf. F94317Assen, Van Gorcum 1956 240pp., 23cm., brochure originale, non coupé, très bon état, F94317
réf. 4313, Paris/Assen/ Pays- Bas, Van Gorcum & comp, 1956., Relie, toile d' editeur, titre dore sur le plat et le dos, 14,5x23cm, 238pp.
réf. 84645Paris, Presses Universitaires de France (PUF), 1977. 11 x 18, 128 pp., broché, bon état.
