2,691 results
ref. DADAX080580076XNew unknown
ref. DADAX0268035350New unknown
ref. SONG0387286888Used: Good unknown
ref. SONG0471085391Used: Good unknown
ref. DADAX1568028911New unknown
ref. DADAX1305958098New unknown
ref. 132514aafKluwer Academic Publishers, 2000, gr. in-8vo, X + 336 p., cartonnage original avec jaquette.
1989ref. 100136468Blackwell Publishers 1989 300 pages 14 986x2 032x22 86cm. 1989. Broché. 300 pages.
1963134pp VG/G First edition, semi-stiff editorial wrappers with light stain in the lower corner with editorial dustwrapper, tear on dw at tail but no loss, former owner ex-libris at the back of front cover and inscription on endpaper otherwise in excellent conditions. Scarce title, from the series Studies in Logic and the Foundations of Mathematics.
ref. DADAX0121703509New unknown
1982ref. 023622Monterrey N. L. Mexico: CIA. Editora Nacional Monumel S. A. 1982. INSCRIBED/SIGNED by the AUTHOR directly on the front free endpaper: "Monterrey N. L. Abril 16 de 1982 For Prof. Alonzo Church gratefully signed Jose Antonio Hinojosa Berrones." Good condition. NOT a library discard. With errata sheeted taped to an early blank page. All other pages are clean and unmarked. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Please check our inventory for several others that are signed by 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. INSCRIBED/SIGNED by the AUTHOR. Primera Edición Limited 1000. Softcover. Good condition. Illus. by NOT a library discard. 71pp. Great Packaging Fast Shipping. CIA. Editora Nacional Monumel, S. A. Paperback
ref. DADAX0415910994New unknown
ref. 61187424A.K. Peters Limited . Papeback. New. pp. 350 A.K. Peters, Limited unknown
ref. DADAX1118949242New unknown
ref. DADAX0199596352New unknown
19999780521640114 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
ref. SONG0767417739Used: Good unknown
1844In-8° (cm. 22,4x14), pp. (4), XV, (1), 404. Brossura editoriale con titolo entro cornice di filetti. Fessure e mancanze alla carta orig. che ricopre il dorso, ma ben solido nella sua cucitura originale, interno bello e pulito e nelle sue barbe. DUVAL-JOUV si occupò di paleontologia, di filosofia e di storia. Più importanti gli studî di botanica, morfologica e sistematica, dove, per primo, introdusse il criterio istologico; delle sue memorie, rimaste ormai classiche in materia, la più importante è l'Histoire naturelle des Equisetum de France (1863). Prima edizione, censita in 5 bib. italiane.
1979trad. di Daniela Benelli tela edit. con titoli, acetato protettivo, minima rottura all'acetato
ref. DADAX0521791960New unknown
ref. SONG052170877XUsed: Good unknown
ref. DADAX0521057930New unknown
ref. DADAX0415581257New unknown
ref. DADAX0534066240New unknown
ref. SONG3642547885Used: Good unknown
