1 936 résultats
In 8°, br. edit. ill., pp. 63,(1); copia molto buona. (z020) Progetto Nuffield per la matematica.
16°, pp.133 (3), br. ed. Sottolin. a penna rossa.
20x12. 480p. Falto de portadilla delantera. Requiere encuadernación. Algo subrayado y anotado a lápiz. Trad. J. Besteiro.
Peano, Vailati, Peirce Logica, matematica e psicanalisi. Milano, Spirali Edizioni 1982 italian, 251 BTT160Brossura editoriale,volume n.3 della Collana "Nominazione "in ottime condizioni, copertina in condizioni eccellenti, interno come nuovo, legatura salda,251 pagine circaCopertina come da foto
In-8°, pp. 197, brossura editoriale.
vii + 421pp., softcover, 25cm, G, pages uncut
vii + 553pp., softcover, 25cm, G, pages uncut
3 tomi in 1, in 16, leg. in pergamena, titolo scritto ad inchiostro al dorso, pp. 127, 222, 168.Mancanze al dorso, annotazione in prima bianca, da pag. 153 a pag. 181 lavoro di tarlo con interessamento di parte del testo. Nell'insieme buone condizioni.ATTENTION.If the book is older than 50 years Please contact us BEFORE to order it.In this caseits not immediately available to export and we will send you more information about cost and timing.Luogo di pubblicazione VenetiisEditore Typis Joan. Baptistae Albritii Hier. Fil.Anno pubblicazione 1750Materia/Argomento Logica, Filosofia
1959009067Neuchatel Suisse: Éditions du Griffon 1959. Very Good condition. 16 cm wide by 23.5 cm tall. A solid copy -- clean and tight. The spine is square and flat. One corner of front wrapper has a mild crease. NO underlining. NO highlighting. NO margin notes. Bibliothèque scientifique no. 34. Festschrift containing 18 papers in various languages by Hao Wang Haskell B. Curry E. W. Beth Wilhelm Ackermann Rudolf Carnap A. A. Fraenkel Kurt Gödel George Kreisel A. Robinson F. Gonseth R. L. Goodstein Hans Hermes et al. Each paper has 3 abstracts -- in English German and French. Bound in the original brown wrappers printed in black and red. 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. Between 1937 and 1954 Bernays wrote a series of articles published in the Journal of Symbolic Logic. Among Church's 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. 295pp. Great Packaging Fast Shipping. Éditions du Griffon Paperback
Autori: John Dewey. Curatori: R. Frega.
176524972Venedig, Typographia Balleoniana, 1765. Kl.-8°. Mit Holzschn.-Titelvignette (gekrönter Doppeladler). XII, 189 S., Ldr. d. Zt. a. 4 Bünden m. goldgepr. Rückenschild u. dreiseitigem Rotschnitt.
17 cm, br. originale, p. xvi, 272, qualche brunitura
17631040128Würzburg, Wolfgang Christoph Kohles für Johann Jacob Stahel 1763. 4 unpaginierte Blätter (Inhaltsverzeichnis und Vorrede), 344 Seiten, 3 unpaginierte Blätter; Band mit 4 Tabellen auf 2 Tafeln, 2 Holzschnittbordüren sowie 2 Holzschnittvignetten, Kl. 8° (17 x 11 cm), Pappeinband der Zeit.
Milano, Spirali, 1982, 8vo brossura con copertina illustrata a colori, pp. 251. Contiene interventi, tra gli altri, di Verdiglione - Riguet - Sini - Huber-Dyson. Ottimo stato.
Il volume contiene la rielaborazione di alcune relazioni al Convegno "Logica Matematica, Costruzione dei Concetti e Processi socio-cognitivi" che si è tenuto a Salerno nel 2008. Il Convegno si è proposto principalmente come occasione di discussione sulle relazioni tra logica matematica e calcolo simbolico, da un lato, e i processi di formalizzazione e di inferenza tipici dell'apprendimento, dall'altro. Al centro dell'indagine sono le funzioni del linguaggio e della rappresentazione in matematica. In particolare, si è voluto evidenziare il ruolo dei linguaggi simbolici in ambito matematico, che, oltre a essere strumenti di comunicazione, diventano oggetto di manipolazione e di riflessione. Il volume, poi, intende sottolineare come l'interesse dei logici italiani per la didattica non è recente: il Convegno, infatti, è idealmente ricollegato al XII Incontro Aila"La logica Matematica nella didattica" che si è tenuto nel 1988. Curatori: G. Gerla.
br. Se la logica regola le forme e le leggi del pensiero, come può integrarsi con il ragionamento matematico? Tratteggiare i confini di questa congiunzione significa affrontare un viaggio tra le correnti della filosofia e della matematica, giungendo infine a un elemento altro, integrato: la logica matematica. Abraham Robinson ricostruisce il quadro storico di questo complesso percorso, tratteggiandone i rapporti con i diversi àmbiti della filosofia e del linguaggio, in un testo che, malgrado la complessità dell'argomento, riesce a mantenere salda una straordinaria forza divulgativa. Arricchiscono il volume la prefazione di Gabriele Lolli e il saggio di Beppo Levi del 1934 sulla logica matematica.
Vito Michele Abrusci Logica matematica. , Fratelli Laterza 1992, Copertina cartonata sporca e ingiallita. Tagli e pagine sporchi di polvere e ingialliti. Buono (Good) . <br> <br> <br> 187<br>
221pp., 23cm., dans la série "Cahiers du centre de logique" vol.14, br., bel état, F75000
Biblioteca di filosofia e metodo scientifico
In 8, bross., sovraccarico., pp. 205.Lievi segni del tempo alla sovraccarico., buone condizioni.Luogo di pubblicazione BariEditore Dedalo Anno pubblicazione 1977Materia/Argomento Logica, Filosofia
Cosenza, Paolo Logica formale e antiformalismo : da Aristotele a Descartes. Napoli, Liguori 1987 italian, 100 1987 Opera in copertina morbida in brossura. ST1073
Pastore, Annibale (Libero docente di Filosofia teoretica nella R. Università di Genova.) Logica formale dedotta dalla considerazione di modelli meccanici. Torino (- Milano -Roma - Firenze) - Torino, Fratelli Bocca, Editori - Vincenzo Bona, Tip. delle LL. MM. e dei RR. Principi 1906 italian, in sedicesimo pp. XXIV+258+(10) con VIII tavole in nero=292 I ed.. XVI grande/ XXIV+258+(10) con VIII tavole in nero=292/ rilegatura in mezza pelle marrone con i piatti rifiniti in carta granata goffrata effetto pelle e cerata e con titoli e ornati oro al dorso. Con 17 figure in nero nel testo e 8 tavole in nero f.t.. Timbro blu di possesso e catalogazione al primo foglio di guardia e qualche segno e qualche appunto a matita nelle pagine e all'ultimo foglio di guardia presumibilmente del proprietario del libro che ha timbrato o ha fatto timbrare il libro (Elenco 256 modi sillogistici). Stato buono (usura della copertina, in particolare ai margini - fogli di guardia e pagine bruniti).
brossura Usiamo la logica tutti i giorni, senza rendercene conto: ogni volta che facciamo un ragionamento, anche parlando di sport o decidendo dove andare a fare la spesa. Lo facciamo perché il ragionamento logico ci permette di interagire bene con il mondo e con gli altri. A volte però i nostri ragionamenti falliscono miseramente: il ragionamento logico ha le sue regole e vanno rispettate. Questo libro esplora, con linguaggio semplice e con ricchezza di esempi "tratti dal mondo reale", i concetti fondamentali della logica, dal sillogismo classico di Aristotele ai sistemi della logica formale moderna: parla di enunciati, di regole di deduzione, di dimostrazioni e conduce alla conoscenza dei sistemi fondamentali (logica proposizionale, logica dei predicati), non trascurando un'introduzione a sistemi più "esoterici" come la logica quantistica e la logica fuzzy.
iii + 156pp., text in latin, bound in cart.cover (spine in cloth), "ad usum privatum", very few underlinings, G
