2775 risultati
1858Torino : 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.
1942rif. 005921Techny 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
1932217pp., goede staat
Antwerpen/Brussel/Gent/Leuven, Standaard-Boekhandel, 1944, 217pp., 2e herziene dr., bib.ex. (stempel), gecart.
1967Benedetto 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) . 363
15868°; cc. 109, (2); xilografie nel testo; p. pergamena molle. Piccolo trattato di logica.
2021br.
1920Sesta 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
1979135x223mm. 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.
1974
1956This 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
1989rubbing at the ends of the cover and creases going down the spine.
1991Stickers to front cover. Minor wear. Library markings. (Lecture Notes in Artificial Intelligence 485) Ex-Library
1999rif. x-0262541041Mit Pr 1999. Paperback. New. 450 pages. 9.25x7.25x1.50 inches. Mit Pr paperback
1998rif. x-3540650741Springer Verlag 1998. Paperback. New. 1998 edition. 342 pages. 9.25x6.00x0.75 inches. Springer Verlag paperback
1964
19969780521483940 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
1965rif. 00006802Cambridge: Cambridge University Press 1965. First printing. Hardcover. Very Good/Very Good. 8vo. 6 v-ix 1 1-232 pp. Bound in green cloth with gold lettering title and author's last name in gilt blocked in maroon on the spine. Price of $7.50 on front flap of jacket. Slater 366. A presentable copy of Hacking's first book. A Very Good book with some underlining throughout the text with a name on the front pastedown and a few tiny spots of discoloration to the textblock in a Very Good dust jacket with traces of edge wear on the rear panel and two small spots of discoloration on the rear panel of the jacket. Cambridge University Press hardcover
1997rif. x-3540629637Springer Verlag 1997. Hardcover. New. 394 pages. 9.75x6.75x1.00 inches. Springer Verlag hardcover
