Logique

OPERE SCELTE DI GIANDOMENICO ROMAGNOSI - I - VEDUTE FONDAMENTALI SULL'ARTE LOGICA (1936)

In 8, cart., pp. XV+463, parzialmente intonso.Dorso della cop. mancante, gore evidenti e piccole fior. al piatto ant., residuo attaccato al piatto ant., piccoli fori alla testa del piatto ant., piccole gore al piatto post., leggere tracce di sporco alla cop., leggera brunitura fattore tempo alla cop. e ai tagli, barbe, interno in ottime condizioni.Luogo di pubblicazione RomaEditore Reale Accademia d'ItaliaAnno pubblicazione 1936Collana Collezione varia 5Materia/Argomento Arte, Logica, Scienza

OPERE SCELTE a cura dell’UNIONE MATEMATICA ITALIANA e col contributo del CONSIGLIO NAZIONALE DELLE RICERCHE. [Opera completa in tre volumi. VOLUME I: ANALISI MATEMATICA - CALCOLO NUMERICO. VOLUME II: LOGICA MATEMATICA - INTERLINGUA ED ALGEBRA DELLA GRAMMATICA. VOLUME III: GEOMETRIA E FONDAMENTI - MECCANICA RAZIONALE - VARIE.

Opera completa, 3 volumi in brossura editoriale a stampa, cm18x26.5., pp pp VIII 530 (2), VIII 515 (5), VIII 467 (5); introduzione di Ugo Cassina. VOLUME I (1957): ANALISI MATEMATICA - CALCOLO NUMERICO. VOLUME II (1958): LOGICA MATEMATICA - INTERLINGUA ED ALGEBRA DELLA GRAMMATICA. VOLUME III (1960): GEOMETRIA E FONDAMENTI - MECCANICA RAZIONALE - VARIE. Molto ben conservati, a fogli chiusi; sul frontespizio di ciascun volume una piccola nota a penna e una a matita, lieve traccia di piega sul piatto posteriore del volume secondo.

Operazione centauro

Collana Urania n.75

Op. Cit. revue de littératures français et comparée N° 6 : De la morale à l'économie politique, Dialogue Franco-Américain sur les moralistes français , actes du colloque de Columbia University des 14-15-16 octobre 1994

1996 · 33344 — Pau pUp 1996 In-8 carré textes en français et en anglais

Ontologie und logistische Analyse der Sprache. Eine Untersuchung zur zeitgenössischen Universaliendiskussion

vi + 173pp., 23cm., softcover, good condition, F78052

Ontology and the Vicious Circle Principle

1973 · Cyb-7328 — Cornell University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1973 Book condition, Etat : Bon hardcover, editor's binding, under editor's red printed dust-jacket grand In-8 1 vol. - 272 pages

One World, Ready or Not : The Manic Logic of Global Capitalism

528 pages including index. Exposes the myths and the realities of the global economy in terms of human struggle. Contends that the global economy is sowing 'creative destruction' everywhere: while making possible great accumulations of wealth, it is also reviving forms of human exploitation that characterized industry 100 years ago. Warms that without reform, social peace and middle-class lifestyles will be threatened. Bright, clean and unmarked but for remainder dot upon bottom edge. Excellent copy. Book

On the Logic of `Better'

1957 · 023568 — Lund / Copenhagen: CWK Gleerup / Ejnar Munksgaard 1957. INSCRIBED by the AUTHOR: "with the writer's compliments" but unsigned. From the library of Prof. Alonzo Church. Very Good condition. NOT a library discard. No. 2 in the Library of Theoria series edited by Ake Petzall. A pioneer work in the logic of preference. From: The Philosophy of Sören Halldén edited by K. Segerberg and N-E Sahlin: "The contraposition principle -- In On the Logic of ’Better’ Sören Halldén defends a principle that says that the better the presence of something is the worse is its absence.5 If coffee is better than tea then not-tea is better than not-coffee. Or to take a more extreme example if not-cancer is better than not-flu then flu is better than cancer – which on the surface sounds quite reasonable. Halldén’s argument in favour of this principle runs as follows: Making a value comparison generally means not comparing A to B but rather comparing A without B to B without A. To say that it is better to be a philosopher than to make money using Aristotle’s own examples is to say that to be a philosopher and not making money is better than to make money and not be a philosopher. Making money and being a philosopher is not considered a possibility." This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. 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. This book doesn't have Alonzo Church's name anywhere but see our inventory for several other items that do. INSCRIBED by the AUTHOR. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. 112pp. Great Packaging Fast Shipping. CWK Gleerup / Ejnar Munksgaard Paperback

On Aristotle's Categories: Dexippus: On Aristotle Categories (The Ancient Commentators on Aristotle)

1989 · 100124469 — Bristol Classical Press 1989 156 pages 16 2x1 4x23 8cm. 1989. Relié. 156 pages.

Oeuvres completes de Bossuet, eveque de meaux, classees, pour la premiere fois, selon l'ordre logique et analogique. [11 Bände/Volumes]. Publies par M. L'Abbe Migne. 11 Bände/Volumes (= vollständing / complete).

1856 · 97348 — Paris: Migne 1856. 4° (28 x 18 cm). Zeitgenössische Halblederbände mit goldgeprägtem Rücken. [Hardcover / fest gebunden].

OEUVRES COMPLETES DE BOSSUET EVEQUE DE MEAUX, CLASSEES POUR LA PREMIERE FOIS, SELON L'ORDRE LOGIQUE ET ANALOGIQUE- TOME

In 4', 19x28, leg. mz. t., tit. in oro al dorso, pp., 1675, strappo e mancanza al piede del dorso, mancanze di parte della carta al piato ant., tracce d'umiditnell'ultima parte del volume, piccola rottura alle cerniere , interno buono, fioriture e segni del tempo.Luogo di pubblicazione PARISEditore MIGNE'Anno pubblicazione 1867Collana OEUVRES COMPLETES DE BOSSUETMateria/Argomento Filosofia, Teologia, RELIGIONE, LOGICA

Oeuvres inédites de Bossuet, évêque de Meaux dédiées à S.A.R. Monseigneur le Duc de Bordeaux.

1828 · 43 — Paris, Beaucé-Rusand, Belin-Mandar et Devaux ,1828. In-8 , élégante demi reliure noire à coins, dos à nerfs orné de caissons dorés. 318 p., portrait gravé de Bossuet en frontispice, grandes marges.

Ockham´s Theory of Terms Part 1 of the Summa Logicae

1974 · 100125640 — University of Notre Dame Press 1974 221 pages 14 986x1 524x22 606cm. 1974. Broché. 221 pages.

Ob algoritmicheskoi nerazreshimosti problemy tozhdestva slov v teorii grupp leading to the Lenin Prize 1957

1955 · 023625 — Moscow USSR: Trudy Matematicheskogo instituta inteni V. A. Steklova 44 1955. Text in Russian. Because this marketplace does not accommodate Cyrillic charcters all Russian language words from this book have been here transliterated into Latin script. Good condition. Spine is worn. Edges of the cover are sunned. Pages are clean and unmarked. From Encyclopedia: "In 1952 Novikov constructed a finitely defined group H with an unsolvable word problem that is a group with no algorithm to solve the word problem for H. This result was first announced in his 1952 paper “Ob algoritmicheskoi nerazreshimosti problemy tozhdestva” “On the Algorithmic Unsolvability of the Word Problem”. The complete proof was published three years later i.e. in this 1955 edition. In 1957 William W. Boone gave another example of a group with an unsolvable word problem and therefore this result is called the Novikov-Boone theorem. Important corollaries derived from this theorem have suggested that there are many unsolvable algorithmic problems in fundamental branches of classical mathematics. Novikov received the Lenin Prize for this significant achievement in 1957." This volume was among 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 volume 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 Complete Edition. Softcover. Good condition. Illus. by NOT a library discard. 144pp. Great Packaging Fast Shipping. Trudy Matematicheskogo instituta inteni V. A. Steklova, 44 Paperback

O pewnym podziale zadan matematycznych i efektywnosci ich rozwiazywania

1977 · 009092 — Wroclaw Poland: Wydawnictwo Uniwersytetu Wroclawskiego 1977. Very Good condition. 16.5 cm x 23.5 cm. Bound in the original green wrappers a little rubbed at the edges. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. Text in Polish except for a 2 page summary in French which has a brief margin note in pencil that appears to be in Professor Church's handwriting. Matematyka Fizyka Astronomia XXI. Tables. Graphs. 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 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. 101pp. Great Packaging Fast Shipping. Wydawnictwo Uniwersytetu Wroclawskiego Paperback

NUMERI LOGICI e NUMERI MATEMATICI. Estratto originale dagli tti della Reale Accademia delle scienze di Torino, seduta 17 febbr. 1943. INVIO AUTOGRAFO dell'Autore.

In-8° (c. 24,1), pp. 20 con molte formule. Brossura a graffe edotorialmente priva di piatii. "Si dimostra che la scoperta dei numeri logici dovuta alla logica del potenziamento risolve il problema della determinazione completa del numero matematico lasciato aperto dasl teorema di SKOLEM...".

Nozioni di analisi logica italiana e latina per le scuole medie

TITTARELLI Nozioni di analisi logica italiana e latina per le scuole medie. Torino, Società Editrice Internazionale 1933 italian, 149 CH34Copertina rigida volume in discrete condizioni, rilegato con copertina personalizzata, segni e scritte in penna all'interno, lievi fioriture, legatura salda149 pagine circaCopertina come da foto

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

NOUVEAU PRECIS DE PHILOSOPHIE. PSYCHOLOGIE LOGIQUE MORALE. 2 VOLUMES COMPLET

Paris, Les éditions de l'école 1957. 2 volumes in-8 carrés, couvertures illustrées de 365 + 444 pages illustrées. Bel exemplaire

Nouvelle logique classique

1829 · 10333 — Paris, L. Hachette, 1829. 595 g In-8, demi veau brun, [3] ff., 460 pp.. Ouvrage peu courant de Pierre-François-Toussaint de Larivière (Séez, 1762 - Montargis 1829) qui fut prêtre, professeur de philosophie puis inspecteur de l'acédémie de Strasbourg. Légers défauts, quelques annotations au crayon. . (Catégories : Philosophie, Logique, )

Notions de logistique

1936 · 024710 — Bruxelles Belgium: Privately Published 1936. Good condition. Chip to corner of front cover. Author's business card laid in with "Hommage de l'auteur" handwritten in ink. 102 pages mimeographed on rectos only blank versos. Bound in stiff card wraps with a beige cloth spine. The author's name is hand inked on the spine. Feys was a frequent contributor of reviews to JOURNAL OF SYMBOLIC LOGIC. Oversize Softcover. 8.25" wide by 10.75" tall. This volume was among 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 volume 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. 1st ed No additional printings listed. Oversize Softcover. Good condition. Illus. by NOT a library discard. vii 102 pages. Great Packaging Fast Shipping. Privately Published? Paperback

NOTES ON LOGIC.

Notions de logique redigees conformement aux programmes officiels du 20 aout 1852 et du 3 aout 1857

35193 — Paris, Hachette, 1858, 5eme edition. Format 12x18cm, broche, 312 pages.Bon etat, petites traces d'usage sur un livre d'occasion.

NOTIONS DE LOGIQUE A M J M G - NOUVELLE EDITION REVUE ET CORRIGEE

1869 · RO30127048 — LEFORT J.. VERS 1869. In-12. Relié. Bon état, Tâchée, Dos satisfaisant, Rousseurs. 70 pages - tranche du 1er plat usée. . . . Classification Dewey : 160-Logique