1 936 résultats
This book is a collection of Alfred Tarski's main pre-war contributions to mathematical logic and metamathematics. They were originally published in French, German or Polish and now appear for the first time in English. Included among them is Tarski's celebraded monograph on the concept of truth in formalized languages. The articles have all been revised by the author. Bibliografia. Indice dei soggetti e dei nomi. In ottimo stato
135x223mm. VI+312 pages. Hardcover. Cover slightly stained. Cover edges slightly bumped . Spine slightly faded and stained. Front cover slightly detached. Pages slightly yellowing. Else in good condition.
Benedetto Croce Logica. , Laterza 1967, Condizioni discrete: copertina con lievi segni di usura, dorso con lievi segni di usura, tagli sporchi, pagine brunite dal tempo ma di buona fruibilità, scritta a penna ad inizio libro Buono (Good) . <br> <br> <br> 363<br>
8°; cc. 109, (2); xilografie nel testo; p. pergamena molle. Piccolo trattato di logica.
br.
Sesta edizione ampliata da Giovanni Vidari. Piccola legatura editoriale datata, con copertina in cartoncino flessibile, con comuni abrasioni alle estremità e dorso macchiato. Si nota parziale distacco della coperta. Pagine intatte, fortemente ossidate da tonalità effetto vintage, macchiate lungo la cerniera, tagli colorati. N. pag. 53. USATO
217pp., goede staat
Antwerpen/Brussel/Gent/Leuven, Standaard-Boekhandel, 1944, 217pp., 2e herziene dr., bib.ex. (stempel), gecart.
1942005921Techny Illinois: Typis Domus Missionum ad St. Mariam 1942. Very Good condition. Bright clean square and tight. Hinges are perfect. Text in Latin. Footnotes in English. Bibliography. Index. Bound in the original green cloth lettered in shiny gilt on the spine. This copy bears the ink signature of Alonzo Church on the front free endpaper. This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction. Several the books including this one contain his signature or a presentation inscription to him. 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. Hardcover. Very Good condition/No Jacket. 8vo. xv 247pp. Great Packaging Fast Shipping. Typis Domus Missionum ad St. Mariam Hardcover
Torino : Tipografia Speirani e Tortone, 1858. 8° (cm. 21); mezza pelle coeva; titoli in oro e fregi in oro e a secco al dorso; p. 406, (2) di errata; alcune tabelle nel testo. Dedica autografa sul frontespizio ("Al Chiarissimo Prof. .. L'autore"). Leggere usure al dorso, abrasioni ai piatti (in particolare agli spigoli), ammaccatura al dente inferiore del piatto posteriore. Lieve brunitura della carta, più marcata in diversi quaderni e alle sguardie; piccole pieghe o sgualciture alla punta superiore o inferiore di varie carte. Una macchiolina (di ossidazione) a p. 219 e 401. Piatti vissuti, bruniture internamente, ma copia discreta.
cxviii + 193pp. + 16 plates out-of-text, 25cm., in the series "Corpus Christianorum, Continuatio Mediaevalis" vol.120, editor's cloth with gilt lettering, VG, ISBN 2-503-04201-5, (introduction in Italian, text in Latin)
In-8° (cm. 23,9x16,9), pp. 30. Brossura editoriale a graffa, brunitura me piccola gora marfìginale al piatto, ma interno ottino. "Memoria presentata dal socio Cleto CARBONARA". Logica come teoria del conoscere. logica e linguistica. Cita soprattitto, HUSSERL, MERLAEU-PONTY, R. BARTHES. L'Autrice fu professoressa straordinaria di Antropologia culturale nella Facoltà di Scienze politiche dell’Università di Bari.
In 8', leg. t. verde con tit. al dorso, pp. 395, etichetta d'appartenenza al contropiatto ant., sguardie brunite, interno in buono stato.Luogo di pubblicazione BariEditore LaterzaAnno pubblicazione 1942Collana Filosofia come scienza dello spirito- II LogicaMateria/Argomento Filosofia, Logica
Bari, Gius. Laterza & Figli, 1947. Settima edizione riveduta. Dall’indice: Il concetto puro, il giudizio individuale e la sintesi a priori logica; La filosofia, la storia e le scienze naturali e matematiche; Le forme degli errori e la ricerca della verità; Sguardi storici. Volume N. II appartenente alla Collana: Filosofia come scienza dello Spirito. In 8vo (cm. 21,8); brossura originale con titoli al piatto e al dorso; pp. (4), XXIII, (1), 395, (5). Ottima copia. PAxs
195191874Friburgi (= Freiburg): Herder 1951. X, 181 Seiten. Gr. 8° (22,5-25 cm). Orig.-Leinenband mit Goldprägung. [Hardcover / fest gebunden].
Francesco Berto Logica da zero a Godel. , Laterza and Figli 2007, Copertina cartonata con alette informative, tagli sporchi di polvere e ingialliti lievemente, pagine leggermente ingiallite. Buono (Good) . <br> <br> <br> 214<br>
In-8°, pp. 30, copertina editoriale. Sommario: Fondamenti metodologici; I fondamenti della deduzione; Il calcolo deduttivo; Enti fondamentali di partenza; Le geometrie non euclidee; Dimostrazioni dirette e indirette; Sistema ipotetico deduttivo e sistema assiomatico deduttivo; Regole operative principali; Teorema di deduzione; Corollario del teorema di deduzione; C'è logica e logica; Hegel: realtà e razionalità si identificano; Conoscenza scientifica e conoscenza filosofica; Alcune caratteristiche del sapere scientifico; Logica concettuale e logica simbolica; Parallelismo fra sillogismo e movimento dialettico; Il sillogismo matematico; Valutazioni conclusive.
Bernardini Sandro Logica della conoscenza scientifica. Secondo la teoria di K. Popper. , Liguori 1983-09-30, Piatti e dorso segnati dal tempo, con fioriture. Tagli con gore. Interno in buono stato. Presenta un timbro nell'antiporta. Buono (Good) . <br> <br> Copertina flessibile <br> 328<br> 88-207-0871-X
