Logique

International Logic Review. Rassegna Internazionale di Logica. N. 12 - Dicembre 1975 (vol. VI, n. 2)

In-8°, pp. da 133 a 278, copert. edit. Sommario: F. Spisani, Lineamenti di Logica Produttiva (Outlines of Productive Logic) testo in ital. e ingl.; I. Block, Hart on the "Tractatus"; C. Yildirim, Belief and Evidence; A. Orenstein, I Think, Therefore I Am Not; E. Wette, After the Inconsistency of Elementary Arithmetic and of Propositional Logic: Astronomical and Ideological Consequences from the Consistent Synthesis of all Motions Into the Geometro-Static Morphology of one Total Diagram; H. Robinson, The Class as One and as Many; J. E. Tomberlin, On Simple Truth; H. Khatchadourian, The Meaning of Proper Names; B. Venneri, Semantic Implications of Herbrand's Theory of Fields (Implicazioni Semantiche della Teoria Herbrandiana dei Campi) testo in ingl. e ital.; A. Bernanose, Etres Vivants et Systèmes Artificiels; L. E. Johnson, A Perspective on Propositions; M. Machacek, Concerning "The Meaning and Structure of Time".

International Logic Review. Rassegna Internazionale di Logica. N. 12 - Dicembre 1975 (vol. VI, n. 2)

In-8°, pp. da 148 a 314, copert. edit. Sommario: F. Spisani, Lineamenti di Logica Produttiva (Outlines of Productive Logic) testo in ital. e ingl.; O. Onicescu, Les Catégories Logiques Mathématiques; J. K. Feibleman, Assumptions of Whitehead's and Russel's "Principia Mathematica"; L. Cherchi, Disjonction Logique et Disjonction Grammaticale; B. Freed, Names and Descriptions in Epistemic Contexts; G. Englebretsen, Suggested Truth-Tables for a Three-Valued Sentential Logic; N. J. Moutafakis, Towards an Analysis of Discourse Concerning Intentions; A. Skidmore, Existence and the Existential Quantifier; T. Batog, Is There a Contradiction in the Theory of Types?; E. Morscher, Ota Weinberger, Rechtslogik: Versuch einer Anwendung Moderner Logik auf das Juristische Denken.

INTERNATIONAL LOGIC REVIEW. RASSEGNA INTERNAZIONALE DI LOGICA. Nº 12.

International logic review. Rassegna internazionale di logica N. 2 Dicembre 1970

24 cm, ril. editoriale, titolo al piatto e dorso, p. 99 (numerazione p. 118-217). Testo italiano, francese, inglese

INTERNATIONAL LOGIC REVIEW. RASSEGNA INTERNAZIONALE DI LOGICA. N.22 DICEMBRE 1980.

INTERNATIONAL LOGIC REVIEW. RASSEGNA INTERNAZIONALE DI LOGICA. N.23-24 GIUGNO- DICEMBRE 1981.

INTERNATIONAL LOGIC REVIEW. RASSEGNA INTERNAZIONALE DI LOGICA. N.11 GIUGNO 1975.

INTERNATIONAL LOGIC REVIEW. RASSEGNA INTERNAZIONALE DI LOGICA. N.19-20. GIUGNO-DICEMBRE 1979.

INTERNATIONAL LOGIC REVIEW. RASSEGNA INTERNAZIONALE DI LOGICA. N.29 GIUGNO 1984.

INTERNATIONAL LOGIC REVIEW. RASSEGNA INTERNAZIONALE DI LOGICA. N.31. GIUGNO 1985.

Introduccion a la logica dialectica

Eli De Gortari Introduccion a la logica dialectica. , Publicaciones de Dianoia 1972, Piatti e dorso segnati dal tempo, con una sovraccoperta plastificata. Tagli con gore. Interno complessivamente in buono stato. Mediocre (Poor) . <br> <br> <br> 338<br>

Introducing communications protocols

0850122082 — New. paperback. New. Satisfaction Guaranteed or your money back. paperback

Introduction to the Calculus

1940 · 006437 — New 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

INTRODUCTION A L' ALGEBRE HOMOLOGIQUE - 1966

In 8, pp. 48, br. Lievissimi difetti al dorso. Buon esemplare (6123/ ALGEBRA - LOGICA)

INTRODUCTION A LA LOGIQUE - 1960

In 8o, pp. 224, br. Minima macchia al piatto ant. ma come nuovo (5598/ MATEMATICA - LOGICA - MATHEMATIQUE)

INTRODUCTION A LA LOGIQUE / SERIE A N°16 - COLLECTION DE LOGIQUE MATHEMATIQUE.

1969 · R320053073 — GAUTHIER-VILLARS. 1969. In-8. Broché. Etat d'usage, Coins frottés, Dos frotté, Intérieur frais. 246 pages.. . . . Classification Dewey : 160-Logique

INTRODUCTION A LA LOGIQUE ALGEBRIQUE - 1967

In 8, pp. 100 (X), br. Polvere ai piatti (6122/ ALGEBRA - LOGICA)

INTRODUCTION A LA SCIENCE DE LA LOGIQUE. CONCEPT GENERAL DE LA LOGIQUE.

Nathan 1985, In-8 broché. 102 pages. Trés bon état.

Introduction aux circuits logiques - 2e édition.

1985 · R100071894 — McGraw-Hill. 1985. In-8. Broché. Etat d'usage, 2ème plat abîmé, Dos plié, Intérieur acceptable. 298 pages - nombreuses figures en noir et blanc dans le texte - déchirure sur le 2ème plat - coins frottés.. . . . Classification Dewey : 160-Logique

Introduction to Elementary Mathematical Logic

1971 · 100137656 — MIT Press 1971 240 pages 64x516x330cm. 1971. Relié. 240 pages.

Introduction to elementary mathematical logic.

pp. 209, in 8°, rileg. in t.t. con sopracoperta.

Introduction to logic and to the methodology of deductive sciences.

pp. 239, in 8°, rileg. in t.t.

INTRODUCTION TO LOGIC.

Introduction to Mathematical Logic. Set Theory. Computable Functions. Model Theory.

93297aaf — Springer-Verlag, 1979, in-8vo, X + 198 p., orig. clothbound.