Logique

Riveon Lematematika A Quarterly Journal Intended to Promote Mathematical Research among Students of Mathematics Volume 6 1952-1953

1953 · 023437 — Jerusalem Israel: Riveon Lematematika 1953. From the library of and SIGNED on the title page by ALONZO CHURCH. "Received May 9 1953" is penned in his hand above his signature. A reading/reference copy. Fair condition. PHOTOS UPON REQUEST. Edges of the cover are rubbed. Exterior hinges are secure. Inner hinges are cracked and separated from the text block. Title pages English and Hebrew are age-toned. All other pages are bright white clean and unmarked. Volume 6 only. 1952-53. Multiple languages Hebrew. Table of contents also in English; text in Hebrew with English summaries. Bound in the original decorated paper-covered boards with a blue cloth spine. Stamped in gold on the spine and cover. Among the contributions to this volume is a problem proposed by Baruch Germansky. Church' s signed review of it was published in JOURNAL OF SYMBOLIC LOGIC Volume 18 Issue 3 September 1953 p. 263. A copy of the review is laid-in published online by Cambridge University Press. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. This is one of several of the books that contain his signature. Please check our inventory for several others. 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. SIGNED BY ALONZO CHURCH. First Edition. Oversize Hardcover. Fair condition. Illus. by NOT a library discard. 86pp. Great Packaging Fast Shipping. Riveon Lematematika Hardcover

Ricerche logiche

RICERCHE FILOSOFICHE. Edizione italiana a c. di Mario TRINCHERO. Nuova edizione.

In-8° (cm. 21,5x15,3), pp. XX, 298, (5). Bross edit.: "Forma e significato della molteplicità dei linguaggi". "Il precipitato di ricerche filosofiche che mi hanno tenuto occupato negli ultimi sedici anni. Essi riguardano molti oggetti: il concetto di significato, di comprendere, di proposizione, di logica, i fondamenti della matematica, gli stati di coscienza, e altre cose ancora". Pubblicato nel 1953, a due anni dalla morte di Wittgenstein, è un vertice del pensiero del Novecento.

Ricerca di un processo logico nell'opera di Elio Marchegiani

B. D'AMORE Ricerca di un processo logico nell'opera di Elio Marchegiani. , Belforte 1978 italian, 203 SC226U Brossura editoriale, volume in buone condizioni, lieve piega sulla copertina, interno in ottimo stato, legatura salda, fotografie in b\n 203 pagine circa Copertina come da foto

Revue internationale de Philosophie.- 25e annee.

Hardcover in-8°, 628 pages, reliure plein simili, titre dore. (voir aussi "Revue Philosophique") N° 95-96 : Hypothese et confirmation - N° 97 : L'égalité en droit et en philosophie politique et morale - N° 98 : Science et logique en Russie soviétique. Tres bel exemplaire. [MI-20] Tres bel exemplaire.

Revue d'Histoire des Sciences - Tome 52, n° 3-4 - Juillet-Décembre 1999 - Mathématique et logique chez Bolzano , (Frege's and Bolzano's rationalist conceptions of arithmetic - Bolzano's theory of representation - Bolzano's criticism of indirect proofs - Philosophy of mathematics : Bolzano's responses to Kant and Lagrange - Bolzano and Cournot on mathematical explanation - Réalisme mathématique, réalisme logique chez Bolzano - Forme, variation et déductibilité dans la logique de Bolzano)

1999 · Cyb-7263 — Presses Universitaires de France - P.U.F. , Revue d'Histoire des Sciences Malicorne sur Sarthe, 72, Pays de la Loire, France 1999 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche, titre en bleu et noir grand In-8 1 vol. - 201 pages

Revue Logique et Analyse - 8eme année - n°32 - Décembre 1965

1965 · Cyb-96 — Editions Nauwelaerts , Logique et Analyse Malicorne sur Sarthe, 72, Pays de la Loire, France 1965 Book condition, Etat : Très bon broché grand In-8 1 vol. - 105 pages

Revue philosophique de la France et de l'étrangerLa logique de l'enfant ( de trois à sept ans ) ( B. Perez ) - L'hallucination : 1. recherches théoriques ( A. Binet ) - De l'abus du principe de la conservation de la force ( J. Andrade ) Revue générale : Théorie de la connaissance mathématique : Cohen, Du Bois-Reymond, Kroman+ Analyses et comptes rendus

44157 — 9e année - N° 4 - avril 1884 - Félix Alcan, Editeur - Broché

REUSSISSEZ LES TESTS D'INTELLIGENCE - EXERCEZ VOUS EN VOUS AMUSANT!.

1989 · R320019709 — MARABOUT GUIDE. 1989. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 221 pages illustrées de nombreuses figures dans le texte - 1er plat illustré en couleurs.. . . . Classification Dewey : 160-Logique

REUSSIR LES NOUVEAUX TESTS DE QI.

2006 · R240052453 — MARABOUT. 2006. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 191 pages - nombreuses figures en noir et blanc dans et hors texte.. . . . Classification Dewey : 160-Logique

Retorica

Mm 140x210 Collana "Biblioteca Filosofica Laterza" - Volume in copertina rigida con sovraccoperta, xx-452 pagine con testo greco antico a fronte. Nuovo - Brand new. Spedizione in 24 ore dalla conferma dell'ordine.

Reti logiche. Introduzione alla teoria e alla progettazione

br. Il testo, adottando un adeguato compromesso fra livello di approfondimento e rigore formale, fornisce una visione omogenea e sintetica delle reti logiche, classificate ulteriormente in reti combinatorie e reti sequenziali, dai fondamenti alla progettazione, includendo anche i modelli teorici di supporto (algebra di Boole, automi). La prima parte tratta le reti combinatorie; la seconda parte riguarda l'analisi e il progetto delle reti sequenziali, mentre nell'ultimo capitolo sono esaminate le reti booleane a soglia. I capitoli sono corredati da esercizi e quesiti e dalle relative soluzioni. Il volume si conclude con tre appendici - sul comportamento asintotico delle funzioni, sulla rappresentazione numerica e sui linguaggi regolari - fondamentali per approfondire la materia. Sul sito www.carocci.it si trovano poi materiali didattici di ausilio per il docente ed esercizi di riepilogo per gli studenti, utili al ripasso e all'autovalutazione del livello di apprendimento.

Rethinking the Foundations of Statistics, hb

9780521640114 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal

RESUMEN SINTETICO DEL SISTEMA DE LOGICA(1897)

con notas complementarias por el Lic. Ezequiel A.Chavez, profesor de logica en la escuela N. preparatoria.In 8', leg. ed. pp. 307, segni d'uso alla cop., interno ottimo, minimi segni del tempo.Dedica autografa di Chavez all'occhietto.Luogo di pubblicazione Paris/MexicoEditore Libreia de la Vda de Ch. BouretAnno pubblicazione 1897Materia/Argomento Logica

Repertorio Di Matematiche Vol.I°

Mm 180x250 Volume rilegato in mezza pelle, titolo ed autore al piatto e al dorso, x-311 pp. Timbri di biblioteca privata dismessa e tracce di nastro adesivo ai fogli di guardia, peraltro il libro è in ottime condizioni. Spedizione in 24 ore dalla conferma dell'ordine.

René Descartes, esprit soleil. Collection : Savants du monde entier, N° 30.

77121 — Paris, Editions Seghers, 1966. 13 x 16, 190 pp., quelques illustrations en N/B, broché, bon état (dos défraîchi).

Relativité de l'ontologie et autres essais

64857 — Aubier, "Analyse et raisons", 1977, 187 p., broché, légères traces d'usage, état correct.

Regole dell'azione sociale (Le)

In 8 (20,5x14,5) Brossura; pp.214; Molto buono

Reconstruction systématique de quelques théories d'al-Mantiq

65 + [8] pp., 21cm., texte en français, Thèse de doctorat ("Inaugural-Dissertation der Philosophischen Fakultät der Friedrich-Alexander-Universität Erlangen-Nürnberg"), br.orig., cachet au verso de la p.d.t., texte frais, F112962

Recherches sur l’algèbre de la logique in Annales scientifiques de l'université de Jassy Tome XXII; Fasc. 1-4 1935

1935 · 009110 — Iasi Romania: University of Iasi 1935. Good condition. 16.5 cm x 24 cm. A solid copy -- square and reasonably tight. This book does NOT have a separate outer cover. The text pages 1-128 however is complete. There is a small piece of tape on the spine. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. Algebraic Logic. Text in French. Subtitle: Hommage a M. V. Volterra pour son 75e anniversaire. Bibliographical references. This is quite possibly the very copy used by Garrett Birkhoff for his review published in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC Volume 1 Issue 2 1936 63. 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. Good condition. 128pp. Great Packaging Fast Shipping. [University of Iasi?] Paperback

Recherches interdisciplinaires. Les critères de vérité das la recherche scientifique. Un dialogue multidisciplinaire.

96759aaf — Paris, maloine s. a., 1983, in-8vo, 245 p. + 4 p., cartonnage original.

Reconstruction systématique de quelques théories d'al-Mantiq

1969 · F112962 — Erlangen, 1969 65 + [8] pp., 21cm., texte en français, Thèse de doctorat ("Inaugural-Dissertation der Philosophischen Fakultät der Friedrich-Alexander-Universität Erlangen-Nürnberg"), br.orig., cachet au verso de la p.d.t., texte frais, F112962

Recherches logiques - Tome 1 + Tome 2 2eme partie + Tome 3 - 3 volumes - Tome 1 : Prolégomènes à la logique pure - Tome 2 2eme partie : recherches opur la phénoménologie et la théorie de la connaissance, recherches III,IV et V - Tome 3 : éléments d'une él

1974 · R100069381 — Presses Universitaires de France. 1972-1974. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XX+304 pages + 392 pages + 322 pages.. . . . Classification Dewey : 160-Logique

Reason'sNearest Kin: Philosophies of Arithmetic from Kant to Carnap

2002 · 100133729 — Oxford University Press U.S.A 2002 320 pages 16 1x1 7x23 47cm. 2002. Broché. 320 pages.