Logique

Logica et criteriologia

1901 · F39804 — Leiden, G.F.Théonville 1901 iii + 156pp., text in latin, bound in cart.cover (spine in cloth), "ad usum privatum", very few underlinings, G

Logica et criteriologia

iii + 156pp., text in latin, bound in cart.cover (spine in cloth), "ad usum privatum", very few underlinings, G

Freges Lehre von dem Sinn und der Bedeutung der Urteile und Russells Kritik an dieser Lehre

1951 · 009131 — Hamburg Germany: Universität Hamburg 1951. Good condition. 21 cm x 30 cm. Bound in plain unprinted blue stiff card covers with a black spine. Edges of the cover are mildly faded with closed tears and a few tiny chips. Internal condition is FINE. NO owner's name or bookplate. Pages have text on one-side rectos only. This is probably a typescript carbon copy. Handwritten symbols and diagrams have been added to the text as well as a few ink corrections apparently by the author. Pages are otherwise clean and crisp. Gottlob Freges. Bertrand Russell. Subtitle: "Dissertation zur Erlangung des Doktorgrades der Philosophischen Fakultät der Universität Hamburg." Bierich's faculty advisors for this doctoral thesis were Prof. Dr. J. König and Prof. Dr. W. Flitner. On the front cover is a brief note: "Personal from author." 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 1. Auflage. Stiff card covers Softcover. Good condition. vi 95pp. Great Packaging Fast Shipping. Universität Hamburg Paperback

A General Schema for Natural Systems : Nature Considered as a Function of Types of Selectivity and of Modes of Selection

1938 · 006438 — Philadelphia: 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

Grondbeginselen der logika of denkleer en der algemeene zedenleer

1923 · F77404 — Leuven, De Vlaamsche Boekenhalle 1923 302pp., 28cm., onopengesneden, goede staat, F77404

Grondbeginselen der logika of denkleer en der algemeene zedenleer

302pp., 28cm., onopengesneden, goede staat, F77404

Problemi di analisi. Saggi filosofici. Traduzione di Antonio Verdino

In-8°, pp. 299, brossura editoriale con sovraccopertina.

Le jeu des 7 erreurs.

1963 · R200141312 — Julliard. 1963. In-8. Broché. Etat d'usage, Couv. légèrement pliée, Dos plié, Quelques rousseurs. 110 pages, nombreuses illustrations en noir et blanc hors texte - papier jauni, coins frottés, traces d'encre sur le 1er plat, déchirures sur le dos: coiffes abimées.. . . . Classification Dewey : 160-Logique

Introduction à la logique contemporaine

1957 · 174324 — Colin Armand Colin, 1957. In-12 broché de 210 pages . Bon état.

Introdution à la logique contemporaine. Collection Armand Colin N° 322, section philosophie.

84344 — Paris, Armand Colin, 1959. 11 x 17, 208 pp., broché, état moyen (couverture défraîchie).

Campanella

Mm 170x240 Brossura editoriale di pagine 596, rarissimo utilizzo di matita o pastello. Opera in buone condizioni. Not available for export / Non disponible à l'exportation. Spedizione in 24 ore dalla conferma dell'ordine.

Introduction à la logique contemporaine (2eme édition, 1964)

1964 · Cyb-7277 — Armand Colin , Collection Armand Colin Malicorne sur Sarthe, 72, Pays de la Loire, France 1964 Book condition, Etat : Bon broché, sous couverture imprimée éditeur bleu ciel et blanche In-8 1 vol. - 208 pages

Introduction à la logique contemporaine (4eme édition, 1968)

1968 · Cyb-6973 — Armand Colin , Collection Armand Colin Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche, titre en rouge et noir In-8 1 vol. - 206 pages

L'axiomatique , dans la collection Initiation Philosophique (logique)

1955 · Cyb-7074 — Presses Universitaires de France - P.U.F. , Initiation Philosophique Malicorne sur Sarthe, 72, Pays de la Loire, France 1955 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche In-8 1 vol. - 102 pages

Introduction à la logique contemporaine - Collection U2 n°35.

1981 · R100056820 — Armand Colin. 1981. In-12. Broché. Etat d'usage, Couv. légèrement pliée, Dos plié, Intérieur frais. 204 - couverture jaunie - coins frottés.. . . . Classification Dewey : 160-Logique

La logique et son histoire d'Arstote à Russell - Collection U.

1984 · R100067005 — Armand Colin. 1984. In-8. Broché. Etat d'usage, Couv. partiel. décollorée, Dos satisfaisant, Intérieur frais. 366 pages - couverture contrepliée - 1er plat légèrement décoloré.. . . . Classification Dewey : 160-Logique

LOGICA E ASSIOMATICA (1968)

In 8'., br.ed., pp.261.; sottolineature e segni a margine a penna n.t., strappo a p.70/72., bruniture al dorso e ai piatti., nel complesso buon esemplare.Prima edizione.

CLASS LOGIC A PROGRAMED TEXT.

NOVE LEZIONI DI LOGICA SIMBOLICA

In 8, bross. ed., pp. 141, con formule di logica n.t.Sigla a matita in prima bianca, ottime condizioni.Luogo di pubblicazione BolognaEditore Edizioni Studio DomenicanoAnno pubblicazione 1995Collana Collana Philosophia 22Materia/Argomento Logica

Elementa logicae graecae.

Roma, Anonima Libraria Cattolica Italiana, 1937, 8vo (cm. 22 x 16) brossura originale, pp. 122 con testi greco e latino a fronte.

La Logica formale. Vol. I, Dai Presocratici a Leibniz - Vol. II, La Logica Matematica

Mm 155x215 Collana "Nuova Biblioteca Scientifica Einaudi" - Due volumi nella loro brossura originale con copertina a stampa, xxviii-xi-755 pagine con numerazione continua. Edizione italiana a cura di Alberto Conte. Segni d'uso e del tempo al dorso del primo volume, un timbro di biblioteca privata dismessa in apertura di entrambi i tomi che sono in buone condizioni nelle loro legature ben salde; spedizione in 24 ore dalla conferma dell'ordine.

New History of the Humanities

ria9780198758396_inp — Paperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Offers the first overarching history of the humanities from Antiquity to the present. paperback

Le logiche del delirio. Ragione, affetti, follia

Bodei Remo Le logiche del delirio. Ragione, affetti, follia. Bari, Laterza 2000 italian, 122 SC226N Brossura editoriale, volume come nuovo, copertina e interno in condizioni eccellenti, legatura salda 122 pagine circaCopertina come da foto

Manuel de Logique Scientifique remplaçant et complétant les Eléments de Logique Scientifique, 1942. Coup d'oeil général et notations. Ensembles, objets et constituants : leurs compositions et agencements. Faits : confirmation et justesse. Interdépendances. Exemples concrets et sophismes. Les modalités. La vraisemblance et les probabilités. l'induction. (192 illustrations ; 10 annexes ; index ; glossaire).

68711 — P., Dunod, 1948, grand in 8° broché, IX-544 pages ; taches et mouillures en pied du volume.