|
Ding Liya Editor/ Fuzzy Logic Systems Institute Corporate Author/ International Conference on Soft Computing 1998 Iizuka Shi J
A New Paradigm of Knowledge Engineering by Soft Computing Fuzzy Logic Systems Institute Flsi Soft Computing Series Volume 5
Soft computing SC consists of several computing paradigms including neural networks fuzzy set theory approximate reasoning and derivative-free optimization methods such as genetic algorithms. The integration of those constituent methodologies forms the core of SC. In addition the synergy allows SC to incorporate human knowledge effectively deal with imprecision and uncertainty and learn to adapt to unknown or changing environments for better performance. Together with other modern technologies SC and its applications exert unprecedented influence on intelligent systems that mimic human intelligence in thinking learning reasoning and many other aspects.Knowledge engineering KE which deals with knowledge acquisition representation validation inferencing explanation and maintenance has made significant progress recently owing to the indefatigable efforts of researchers. Undoubtedly the hot topics of data mining and knowledge/data discovery have injected new life into the classical AI world.This book tells readers how KE has been influenced and extended by SC and how SC will be helpful in pushing the frontier of KE further. It is intended for researchers and graduate students to use as a reference in the study of knowledge engineering and intelligent systems. The reader is expected to have a basic knowledge of fuzzy logic neural networks genetic algorithms and knowledge-based systems. World Scientific Pub Co Inc hardcover
Referencia librero : K136 ISBN : 9810245173 9789810245177
|
|
|
DISPAUX Gilbert
La logique et le quotidien. Une analyse dialogique des mécanismes d'argumentation
Minuit, Arguments,1984, 188 pp., broché, très légères traces d'usage, bon état.
Referencia librero : 63724
|
|
|
Dockx S.; & P. Bernays; F. Gonseth; L. Rosenfeld; V. Tonini; M. A. Tonnelat; J. L. Destouches; L. Brillouin; O. Costa de Beaure
Philosophie de la Physique : Colloque de l'Acad�mie Internationale de Philosophie des Sciences 16-18 octobre 1961 Paris
Bruxelles: Office International de Librairie 1962. Very Good condition. 16 cm x 25 cm. A solid copy -- square and tight. Bound in the original tan-color paper wrappers mildly sunned at the edges. Stamped in red and black. NO owner's name or bookplate. Final page of text has a tiny corner stain. Otherwise pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Th�oriques 11. Introduction by S. Dockx and 10 papers -- 9 in French 1 in German by P. Bernays. Contributions by F. Gonseth L. Rosenfeld V. Tonini M.-A. Tonnelat J.-L. Destouches L. Brillouin O. Costa de Beauregard I. Prigogine and H. Freudenthal. Includes: Le conflit �pist�mologique entre Einstein et Bohr by L. Rosenfeld. 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. Very Good condition. 128pp. Great Packaging Fast Shipping. Office International de Librairie Paperback
Referencia librero : 009111
|
|
|
Dockx Stanislas; & Bernhard Rensch; Leon Brillouin; Valerio Tonini; Olivier Costa de Beauregard; Marius Jacob Sirks; Dominique
Les conditions biologiques indispensables � la libert� de l'homme : Colloque de l'Acad�mie Internationale de Philosophie des Sciences 5 - 7 Avril 1961 - Leiden
Bruxelles: Office International de Librairie 1963. Very Good condition. 17 cm x 24 cm. A solid copy -- square and tight. Bound in the original paper wrappers stamped in red and black. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Th�oriques 12. Introduction and 8 papers -- 7 in French 1 in German by Bernhard Rensch. Some discussion and summaries are in English. Contributions by Stanislas Dockx; L�on Brillouin; Valerio Tonini; Olivier Costa de Beauregard; Marius Jacob Sirks; Dominique Henri Salman; Hendrik Pieter Wolvekamp. Bibliographical references. 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. Very Good condition. 179pp. Great Packaging Fast Shipping. Office International de Librairie Paperback
Referencia librero : 009112
|
|
|
Dodd Stuart Carter; from the library of Alonzo Church
Dimensions of Society : A Quantitative Systematics for the Social Sciences
New York: The Macmillan Company 1942. Very Good condition. A solid copy. Square and reasonably tight. Hinges are sound. Text pages are clean and crisp. No underlining. No highlighting. No margin notes. Illustrated with figures/diagrams/maps. Tables. Graphs. Bibliography. Index. Bound in the original brick red cloth lettered in shiny gold over black on the spine and front cover. 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. Please check our inventory for several others that do. But this is almost certainly the very copy that Church used for his review of the book that appeared in the JOURNAL OF SYMBOLIC LOGIC vol. 7 issue 3 1942. 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. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. ix 944pp. Great Packaging Fast Shipping. The Macmillan Company Hardcover
Referencia librero : 007675
|
|
|
DOLTO Françoise
La Difficulté de Vivre
CARRERE / VERTIGES DU NORD. 8 avril 1987. In-8. Broché. Etat d'usage, Couv. légèrement pliée, Dos plié, Intérieur frais. 464 pages.. . . . Classification Dewey : 160-Logique
Referencia librero : RO80155029
|
|
|
DOMENICO CAMPANALE
PROBLEMI EPISTEMOLOGICI DA HUME ALL'ULTIMO WITTGENSTEIN ADRIATICA 1967
PROBLEMI EPISTEMOLOGICI DA HUME ALL'ULTIMO WITTGENSTEIN ADRIATICA 1967 SEGNI DEL TEMPO, 525 PAGINE, GRAN PARTE ANCORA INTONSE
|
|
|
Donadio Stephen
Nietzsche Henry James and the Artistic Will
New York: Oxford University Press 1978. Appears unread. Fine condition in Very Good one tiny chip to rear panel Dust Jacket. NOT price clipped $15.95. Sharp corners. Not a book club edition. No remainder mark. No owner's name or bookplate. Pages are fresh and crisp. No underlining. No highlighting. No margin notes. Clean square tight unmarked copy. List of chapter notes/sources. Bibliography. Index. From the Dust Jacket: "Moving beyond the boundaries of isolated literary and philosophical investigation this wide-ranging study represents a breakthrough in our understanding of the relations between the phenomenon of modernism and the settled presuppositions of American imaginative life. Donadio shows that James and Nietzsche shared an intense belief in the power of art." Original black cloth. First Edition. Hardcover. Fine condition/Very Good dust jacket. 8vo. xviii 347pp. Oxford University Press Hardcover
Referencia librero : 000920 ISBN : 0195023587 9780195023589
|
|
|
Donati G.M.
Saggi di logica volgare. II: ponderazione, equilibrio.
Firenze, Carlo Pratesi, 1921, in-16, br. edit., pp. 136.
|
|
|
Donati Guido Marco.
Vita di relazione. Prospetto di logica volgare.
Firenze, Carlo Pratesi Piazza del Duomo 15), 1928, in-8, br. editoriale, pp. XXX, 314. "Opuscoli fiorentini" N. XVI - XVII.
|
|
|
Donovan, A. Johnson - William, H. Glenn
Insiermi e Operazioni
Mm 145x210 Collana "Seria M" - Brossura originale, 80 pagine con figure nel testo. Copia ottima; spedizione in 24 ore dalla conferma dell'ordine.
|
|
|
DOROLLE M.
COURS DE LOGIQUE
PUF. 1933. In-8 Carré. Broché. Etat d'usage. Couv. légèrement passée. Dos frotté. Intérieur acceptable. 148 pages. 2e édition revue. M. Dorolle, Prof. au Lycée Condorcet. La méthode expérimentale. Les opérations inductives et l'induction...
|
|
|
Dresden Arnold from the library of Professor Alonzo Church
Introduction to the Calculus
New York: Henry Holt and Company 1940. Very Good condition. A clean square tight copy. Hinges are perfect. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Review Copy with publisher's printed ad on the front pastedown endpaper saying the book is "a new and impressively different introductory text." and listing $3.40 as the price. Bound in the original bluish-green cloth lettered in gold on the spine. 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. 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. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. xii 428pp. Great Packaging Fast Shipping. Henry Holt and Company Hardcover
Referencia librero : 006437
|
|
|
DRIESCHNER Rudolf
Untersuchungen zur dialogischen Deutung der Logik
Hamburg, 1966 138pp., 21cm., softcover, text in German, Doctoral dissertation (Dissertation zur Erlangung der Doktorwürde der Philosophischen Fakultät der Universität Hamburg), stamp at verso of title page, text is clean and bright, good condition, F109135
Referencia librero : F109135
|
|
|
DRIESCHNER Rudolf
Untersuchungen zur dialogischen Deutung der Logik
138pp., 21cm., softcover, text in German, Doctoral dissertation (Dissertation zur Erlangung der Doktorwürde der Philosophischen Fakultät der Universität Hamburg), stamp at verso of title page, text is clean and bright, good condition, F109135
|
|
|
Du Marsais
Des Tropes, ou des Diférens sens dans lesquels on peut prendre un même mot dans une même langue. Nouvelle édition.
<p>20 cm, rilegatura coeva in piena pelle, titolo e fregi in oro al dorso che è diviso da cinque nervi, risguardi in carta policroma, tagli colorati; Epître à Madame la Marquise de Pompadour anteposta all'avvertisment, XIV, (4), (2), 310, (8). Qualche brunitura (viraggio della carta). Incipit e finalini silografici.</p>
|
|
|
DU MARSAIS , César Chesneau.
Des Tropes, ou des Diférens (!) sens dans lesquels on peut prendre un même mot dans une même langue... par Monsieur Du Marsais. Nouvelle édition.
1757 Paris, chez David, Libraire, 1757 ; In-8°, plein veau marbré de l' époque, dos à nerfs, compartiments de double filet doré très orné de fleurons et petits fers dorés, palette dorée en tête et pied, titre doré sur étiquette de maroquin citron, tranches rouges; XIVpp.( titre, avertissements), (4)pp.( Epître à Madame la Marquise de Pompadour),(II)pp.(errata), 310pp., (7)pp.( Table, approbation privilège).L'épitre à la Marquise de Pompadour par le libraire David, est placée entre le titre et l'avertissement de la première édition. Bon exemplaire de ce classique de la rhétorique et de la logique : I. Des tropes en général - II. Des tropes en particuliers : la catachrese, la métonymie , la métalepse, la synecdoque, l'antonomase, la litote, la métaphore, l'allusion, l'ironie, l'euphémisme, l'antiphrase, la périphrase, l'hypallage, l'onomatopée,etc...- III. Des autres sens dans lesquels un même mot peut être employé dans le discours.
Referencia librero : 7500
|
|
|
DU ROUSSEAUX L. abbé
Eléments de logique
Bruxelles, Société Belge de Librairie 1894 256pp., 23cm., br.orig., annotations et soulignements aux pages 1 à 105, rare, F80540
Referencia librero : F80540
|
|
|
DU ROUSSEAUX L. abbé
Eléments de logique
256pp., 23cm., br.orig., annotations et soulignements aux pages 1 à 105, rare, F80540
|
|
|
DUBARLE R.P.
INITIATION A LA LOGIQUE - 1957
In 8o, pp. 89, br. Come nuovo (5599/ MATEMATICA - LOGICA - MATHEMATIQUE)
|
|
|
DUBARRY (Dominique) et Doz (André)
Logique et dialectique
Paris, Larrousse, 1972, 246 pp. in-8, br.
Referencia librero : 3683
|
|
|
DUCROCQ Albert.
LA LOGICA DE LA VIDA. EL ORIGEN Y LA EVOLUCION DE LAL VIDA A LA LUZ DE NUEVAS CONCEPCIONES.
|
|
|
Ducrot Oswald
La preuve et le dire : Langage et logique
Mame Repères Broché 1974 In-12 (11 x 18 cm), broché, 290 pages ; pliure au dos, bord des plats et dos insolés, par ailleurs assez bon état. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.
Referencia librero : vb3139
|
|
|
Dudeney Henry E.
Gli enigmi di Canterbury (The Canterbury puzzles)
cartone edit. ill.
|
|
|
DUHAMEL J.M.C.
Des méthodes dans les sciences de raisonnement, cinquième partie (tome 5).
Paris, Gauthier-Villars et Cie, 1873. 14 x 22, 90 pp., broché, bon état (sauf couverture avec quelques tout petits manques).
Referencia librero : 23091
|
|
|
DUMMETT Michael
Philosophie de la Logique.
1991. Paris. Les Editions de Minuits. Préface et trad. de F. Pataut. Petit In-8. Br. 146 p. TBE.
Referencia librero : 33004
|
|
|
Dummett, Michael
Frege and Other Philosophers
225x145 mm. XII+330 pages. Hardcover with dust jacket. Gilt lettering on spine. Pencil inscription on rear whitepage. Pencil markings on some pages. Pages slightly yellowing. Else in good condition.
|
|
|
Dunn, J. Michael; Gupta, Anil: Editors
Truth or Consequences: Essays in Honor of Nuel Belnap
378 pages. Index. These essays "Reflect the diversity of Belnap's interests and contributions to logic and philosophy. The topics discussed include the concept of truth; relevance, modal, and tense logics; philosophy of mathematics; and probability and confirmation." - from back cover. Light wear. Occasional underlining and marginalia in red ink. Sound copy. Book
|
|
|
DUPLESSIS YVONNE
LES COULEURS VISIBLES ET NON VISIBLES
DU ROCHER. 1984. In-8 Carré. Broché. Etat d'usage. Couv. légèrement passée. Dos satisfaisant. Intérieur frais. 305 pages augmentées de nombreuses illustrations en noir et blanc dans et hors texte- couverture salie Ouvrage collectif - préface de Michel Random
|
|
|
DUVAL- JOUVE Joseph (Boissy-Lamberville, Eure, 1810 - Montpellier 1883)
Traité de LOGIQUE ou essai sur la THEORIE de la SCIENCE à l'usage des établissements d'Instruction Secondaire, suivi de réponses aux questions proposées pour l'admission au grade de Bachelier ès Lettres.
In-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.
|
|
|
D’ANNUNZIO, G.
Primo Vere. Nuova Edizione sulla IV. di A. Sommaruga.
Napoli, Carlo Avitabile, Editore 1909, 190x130mm, 80pagine, in brossura.
Referencia librero : 105454
|
|
|
E. Boutroux
La Natura e lo Spirito e altri saggi
Traduzione dal francese di G. Papini + un appendice bibliografica, rilegatura in tela con macchie, interno perfetto. Rilegato
|
|
|
E. M. Barth
The logic of the articles in traditional philosophy
E. M. Barth The logic of the articles in traditional philosophy. , D. Reidel Publishing Company 1974, Copertina rigida originale complessivamente in buono stato, sovraccoperta lievemente usurata. Tagli con gore. Interno in ottimo stato. Presenta una scritta a matita all'interno della quarta di copertina. Buono (Good) . <br> <br> <br> 533<br>
|
|
|
E.P. Bos (ed.);
John of Holland, Four Tracts on Logic (Suppositiones, Fallacie, Obligationes, Insolubilia),
Turnhout, Brepols, 1985 Paperback, LX+147 p., 165 x 240 mm. ISBN 9789070419110.
Referencia librero : 33830
|
|
|
E.P. Bos, H.A. Krop (eds.);
John Buridan: A Master of Arts: Some Aspects of is Philosophy. Acts of the Second Symposium organized y the Dutch Society for Medieval Philosophy 'Medium Aevum' on the Occasion of its 15th Anniversary, Leiden-Amsterdam (Vrije Universiteit), 20-21 June, 1991,
Turnhout, Brepols, 1993 Paperback, XI+176 p., 165 x 240 mm._Latin, English ISBN 9789070419349.
Referencia librero : 33850
|
|
|
EAMSAY Allan.
THE LOGICAL STRUCTURE IN ENGLISH. COMPUTING, SEMANTIC, CONTENT.
|
|
|
Easton William B. from the library of Alonzo Church
Powers of Regular Cardinals
Princeton New Jersey: Princeton University Department of Mathematics 1964. Good condition. No owner's name or bookplate. Pages are clean crisp and unmarked. 8.75" wide by 11.25" tall. Pages are printed on rectos only blank versos housed in a blue paper portfolio with title visible under a clear plastic window. This is William Bigelow Easton's influential Ph.D. dissertation presented in 1964 to the faculty of Princeton University. This copy is from the library of Alonzo Church who was Easton's advisor. In the Acknowledgement section the author thanks Professor Church "for his kind assistance and encouragement during the preparation of this thesis." This is the 1964 original edition. In 1970 POWERS OF REGULAR CARDINALS was printed in ANNALS OF MATHEMATICAL LOGIC vol. 1 no. 2 pp. 139-178. J. Barkley Rosser reviewed it in THE JOURNAL OF SYMBOLIC LOGIC vol. 40 no. 3 Sep. 1975 pp. 460-461. This 1964 edition is one of several dozen books from Alonzo Church's personal 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 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. Good condition. viii 66pp. mimeographed. Great Packaging Fast Shipping. Princeton University, Department of Mathematics Paperback
Referencia librero : 023679
|
|
|
Easton William B. from the library of Alonzo Church
Powers of Regular Cardinals
Princeton New Jersey: Princeton University Department of Mathematics 1964. Very Good condition. A bright clean tight copy. No owner's name or bookplate. Pages are fresh crisp and unmarked. 8.75" wide by 11.25" tall. Bound in black cloth lettered in shiny gold on the front cover. This is William Bigelow Easton's influential Ph.D. dissertation presented in 1964 to the faculty of Princeton University. This copy is from the library of Alonzo Church who was Easton's advisor. In the Acknowledgement section the author thanks Professor Church "for his kind assistance and encouragement during the preparation of this thesis." This is the 1964 original edition. In 1970 POWERS OF REGULAR CARDINALS was printed in ANNALS OF MATHEMATICAL LOGIC vol. 1 no. 2 pp. 139-178. J. Barkley Rosser reviewed it in THE JOURNAL OF SYMBOLIC LOGIC vol. 40 no. 3 Sep. 1975 pp. 460-461. This 1964 edition is one of several dozen books from Alonzo Church's personal 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 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. Hardcover. Very Good condition/No Jacket. viii 66pp. mimeographed. Great Packaging Fast Shipping. Princeton University, Department of Mathematics Hardcover
Referencia librero : 007754
|
|
|
ECKMANN BENO
HOMOTOPIE ET COHOMOLOGIE - 1965
In 8, pp. 132, br. Povere ai piatti (6121/ ALGEBRA - LOGICA)
|
|
|
Edited by A. Maier? and L. Valente.
Medieval Theories on Assertive and Non-Assertive Language. Acts of the 14th European Symposium on Medieval Logic and Semantics (Rome, June 11-15, 2002)
cm. 17 x 24, viii-580 pp. Lessico intellettuale europeo Ventisei contributi affrontano il tema nella prospettiva logica, grammaticale o teologica dal secolo XII fino all?inizio del secolo XVI. Particolare attenzione ? riservata ad autori come Abelardo, Ockham e Buridano, che sono al centro del dibattito storiografico per alcune loro posizioni o che sono oggetto di nuove e stimolanti proposte di lettura. Twenty six contributions focus on the the themes of logic, grammar and theology from the 12th to the beginning of the 16th centuries, with particular attention to authors such as Abelard, Ockham and Buridan, whose ideas form the core of the historiographical debate. Fresh and stimulating new interpretations are suggested. Multi 1063 gr. viii-580 p.
|
|
|
Edomnd Hamilton
Agonia della terra
Collana Urania n.23
|
|
|
Eemeren Frans H. van; Grootendorst Rob; Gilardoni A. (cur.)
Teoria sistematica dell'argomentazione. L'approccio pragma-dialettico
brossura
|
|
|
Eli De Gortari
Introduccion a la logica dialectica
Eli De Gortari Introduccion a la logica dialectica. , Publicaciones de Dianoia 1972, Piatti e dorso segnati dal tempo, con una sovraccoperta plastificata. Tagli con gore. Interno complessivamente in buono stato. Mediocre (Poor) . <br> <br> <br> 338<br>
|
|
|
ELIE RABIER
LECONS DE PHILOSOPHIE. TOME II. LOGIQUE.
HACHETTE. 1894. In-8. Relié demi-cuir. Etat d'usage, Coins frottés, Dos satisfaisant, Quelques rousseurs. 384 pages. Dos de cuir noir titres et roulettes dorés. Papier vert et noir sur les plats très frottés. Tampons de bibliothèque. Epidermures.. . . . Classification Dewey : 160-Logique
Referencia librero : R260173469
|
|
|
Emerson Ralph Waldo; & Thomas Carlyle; edited by Joseph Slater
The Correspondence of Emerson and Carlyle
New York: Columbia University Press 1964. Bright clean square tight unmarked copy. No owner's name or bookplate. No remainder mark. Bibliography. Index. Original rust-colored cloth. . First Printing of the First Edition. Hardcover. Very Good condition. 8vo. viii 622pp 8 pages of illustrations. Columbia University Press Hardcover
Referencia librero : 009872
|
|
|
EMIL BORAK [EMILE BOIRAC].
Ilm-i mantik. Translated by Resad Nuri [Güntekin].
Very Good English In modern aesthetic cloth bdg. Cr. 8vo. (19 x 13 cm). In Ottoman script. 123 p. Hegira: 1331 = Gregorian: 1915. Özege: 8980. First Edition. PHILOSOPHY Ottoman culture Logic.
|
|
|
Emilio Walesko
L'atlantide svelata
Collana Urania n.31
|
|
|
England International Workshop on Dementia with Lewy Bodies 1995 : Newcastle upon Tyne International Workshop on Logic Program
Dementia with Lewy Bodies: Clinical Pathological and Treatment Issues
Cambridge University Press. Used - Very Good. Great condition for a used book! Minimal wear. Cambridge University Press unknown
Referencia librero : GRP115684760 ISBN : 0521561884 9780521561884
|
|
|
England Logic Colloquium 1997 Leeds J. K. Truss
Models and Computability London Mathematical Society Lecture Note Series
Cambridge University Press. Used - Good. Former Library book. Shows some signs of wear and may have some markings on the inside. Cambridge University Press unknown
Referencia librero : GRP84556075 ISBN : 0521635500 9780521635509
|
|
|
Enriques, Federigo
Per la Storia della Logica. I principii e l'Ordine della Scienza nel Concetto dei Pensatori Matematici
Mm 170x240 Collana "Le Ellissi" - Brossura editoriale, XXI-302 pagine. Ristampa anastatica dell'edizione del 1922. In ottimo stato, pari al nuovo. Spedizione in 24 ore dalla conferma dell'ordine.
|
|
Recibir por correo electrónico
Descargar en documento PDF
Flujo RSS
Link permanente
