Logique

Leben und Wirkung. Herausgegeben von Curt Christian.

1981 · PHIL2065 — Wien, 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).

LECONS DE PHILOSOPHIE, TOME II, 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...

LECONS DE PHILOSOPHIE. TOME II. LOGIQUE.

1894 · R260173469 — HACHETTE. 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

Lehrbuch der Logik. Für Gymnasien und andere Lehranstalten. M. Gottlob Christian Fried. Fischhaber, Professor der Philosophie am Königl. Oberen Gymnasium zu Stuttgart.

1818 · 56637BB — Stuttgart, Steinkopf Verlag, 1818. Klein-8°. 18 cm. XII, 211 Seiten. Neuerer Pappband.

Leibniz's Philosophy of Logic and Language

1972 · 100127003 — Gerald Duckworth & Co Ltd 1972 176 pages 13 208x1 524x21 336cm. 1972. Broché. 176 pages.

Les 40emes delirants

2002 · 41753 — 2002. Piment. 2002. Format poche.Tres bon etat..

LES APPLICATIONS TECHNIQUES DE LA LOGIQUE.

Les conditions biologiques indispensables à la libertè de l'homme : Colloque de l'Académie Internationale de Philosophie des Sciences 5 - 7 Avril 1961 - Leiden

1963 · 009112 — Bruxelles: 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

LES COULEURS VISIBLES ET NON VISIBLES

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

LES ENIGMES DE SHEHERAZADE OU COMMENT UNE MALICIEUSE PRINCESSE VIENT A BOUT DE 200 QUESTIONS DE LOGIQUE ET DE MATHEMATIQUE.

1999 · R240101405 — FLAMMARION. 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 218 pages.. . . . Classification Dewey : 160-Logique

Les fondements logiques des mathématiques Deuxième édition revue et augmentée

1955 · 009117 — Paris / 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

Les fondements de la logique symbolique - 2. Justification des calculs logiques , dans la série Logique et Méthodologie, exposés publiés sous la direction de Thomas Greenwood, n° 2, A.S.I. n° 593

1938 · Cyb-2202 — Hermann et Cie , Actualités Scientifiques et Industrielles Malicorne sur Sarthe, 72, Pays de la Loire, France 1938 Book condition, Etat : Bon broché, sous couverture imprimée éditeur grand In-8 1 vol. - 80 pages

Les infortunes de la raison

2309 — Paris, Seuil, coll. Science ouverte, 1966. In-8 broché, 142 p. Très bon état.

Les infortunes de la raison.

34830 — P., Le Seuil (Collection "Science Ouverte"), 1966, in 8° broché, 143 pages.

Les jeux de l'esprit

1990 · RO30348061 — France 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

LES JEUX DE LESPRIT.

1990 · R320025702 — FRANCE 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

Les oeuvres de Mr. de Maupertuis

1752 · 88738 — George Conrad Walther | Dresde 1752 | 18.2 x 24 cm | Relié

Les premiers pas en mathématiques - Logique et jeux logiques , n°1 de la série Les premiers pas en mathématique (3eme édition, revue et corrigée)

1969 · Cyb-6797 — Editions 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

Les principales théories de la logique contemporaine

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

Les principales théories de la logique contemporaine

303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état

Les principales théories de la logique contemporaine

1909 · F38708 — Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état

Les principales théories de la logique contemporaine

1909 · F38921 — Paris, 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

Les Principes de l'Analyse Mathématique: Exposé Historique et Critique [TWO VOLUME SET].

TWO VOLUME SET. RARE historical critical monograph on the principles of mathematical analysis by Pierre Léon Boutroux (1880-1922), an eminent French mathematician and historian of science, chiefly known for his work in the history and philosophy of mathematics. [BOTH VOLUMES]: 245x165mm. [XII+547] + [512] pages. Quarter-cloth marbled board rebound Hardcover. Cover yellowing, damp-stained/stained and rubbed. Cover bottom edge peeling. Cover corners and spine edges slightly bumped. Pen/pencil inscriptions on front whitepage and title-page. Small stamp on title page. Pages yellowing. [VOL.I]: Spine front hinge wrinkled. Small ink inscription on front whitepage upper corner. [VOL.II]: Inner cover and few pages bottom and inner edges damp-stained, especially near binding - NO damage to text. Binding slightly visible between several pages. Some pages browning. [SUMMARY]: This extremely rare two volume monograph on mathematical analysis by one of the foremost French mathematicians and historians of science has sustained some damage (mostly external), but is otherwise in good reading condition. PLEASE NOTE: This item is overweight. We may ask for extra shipping costs.

Les principes de la Logique et la critique contemporaine

xi + 279pp., br., bon état, dans la série "Bibliothèque de la Revue des Cours et Conférences"