|
IEEE Fifteenth International Symposium on Multiple Valued Logic 1985 Kingston
FIFTEENTH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC MAY 28-30 1985 KINGSTON ONTARIO CANADA Paperback IEEE Fifteenth International Symposium on Multiple-Valued Logic 1985 Kingston
Computer Society Press 1985-01-01. Paperback. Very Good. Minor scuff marks on the softcover. Spine is uncreased. Title has been written on the spine in pen. Edges and corners showing minor wear. Pages are unmarked or folded. Computer Society Press paperback
书商的参考编号 : D0-462E-CP01
|
|
|
Ill Logic & DJ Raf
Reunited / Turnaround 12in
Bingo Beats 2006. Vinyl. Good/. This item is a 12" vinyl single and has been visually graded. G some scuffs/hairlines on surface n.b. visual grading offered. Company sleeve has ring/edge wear corner creasing G. BINGO 037 Sleeve Condition:GOOD Bingo Beats unknown
书商的参考编号 : vinyl1515061180jhb
|
|
|
IMMANUEL KANT/TRANSLATED BY JMD. MEIKLEJOHN J. M.
CRITIQUE OF PURE REASON
Amherst New York: PROMETHEUS BOOKS 1990. Soft cover with blue and beige cover in very good condition. Cover and page edging are slightly soiled. Leaves are clean. Has underlining marking's and note's by previous owner. Has 480 page's. SOFT BACK. Very Good/N/A. PROMETHEUS BOOKS Paperback
书商的参考编号 : MN5827 ???????? : 0879755962 9780879755966
|
|
|
International Workshop on Field Programmable Logic and Applications Staff
Field Programmable Logic and Applications: 9th International Workshops FPL'99 Glasgow UK August 30 - September 1 1999 Proceedings Lecture Notes in Computer Science
Springer. Used - Good. Former Library book. Shows some signs of wear and may have some markings on the inside. Springer unknown
书商的参考编号 : GRP74558579 ???????? : 3540664572 9783540664574
|
|
|
International Workshop on Field Programmable Logic and Applications Staff
Field-Programmable Logic and Applications - The Roadmap to Reconfigurable Computing : 10th International Conference FPL 2000 Villach Austria August 2000 Proceedings
Springer 2000. Paperback. Good. Disclaimer:A copy that has been read but remains in clean condition. All pages are intact and the cover is intact. The spine may show signs of wear. Pages can include limited notes and highlighting and the copy can include previous owner inscriptions. At ThriftBooks our motto is: Read More Spend Less.Dust jacket quality is not guaranteed. Springer paperback
书商的参考编号 : G3540678999I3N00 ???????? : 3540678999 9783540678991
|
|
|
International Conference on Field Programmable Logic and Applications 10th : 2000 : Villach Austria/ Hartenstin/ Hartenstein R
Field-Programmable Logic and Applications: 9th International Workshop Fpl '2000 Villach Austria August 27-31 2000 : Proceedings
Springer Verlag 2000. Paperback. New. 1st edition. 856 pages. 9.00x6.00x1.25 inches. Springer Verlag paperback
书商的参考编号 : __3540678999 ???????? : 3540678999 9783540678991
|
|
|
International Workshop on Field Programmable Logic and Applications 11
Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications FPL'94 . Lecture Notes in Computer Science
Springer. Used - Good. Former Library book. Shows some signs of wear and may have some markings on the inside. Springer unknown
书商的参考编号 : GRP91151090 ???????? : 3540584196 9783540584193
|
|
|
International Workshop on Field Programmable Logic and Applications 11
Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications FPL'94 . Lecture Notes in Computer Science
Springer 1994-09-29. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Springer paperback
书商的参考编号 : UTD14A2265 ???????? : 3540584196 9783540584193
|
|
|
International Workshop on Field Programmable Logic and Applications 11 Reiner W. Hartenstein Editor Michal Z. Servit Editor
Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications FPL'94 . Lecture Notes in Computer Science
Springer 1994-09-29. 1994. Paperback. Used:Good. Springer paperback
书商的参考编号 : DADAX3540584196 ???????? : 3540584196 9783540584193
|
|
|
International Workshop on Field Programmable Logic and Applications 11; Editor Reiner W. Hartenstein; Editor Michal Z. Servit
Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications FPL'94 . Lecture Notes in Computer Science
Springer 1994-09-29. Paperback. Good. Springer paperback
书商的参考编号 : SONG3540584196 ???????? : 3540584196 9783540584193
|
|
|
International Congress for Logic Methodology and Philosophy of Science Jerusalem 1964 : 2nd
Logic Methodology and Philosophy of Science: Proceedings of the 1964 International Congress Studies in Logic and the Foundations of Mathematics
North-Holland Publishing. Used - Very Good. Great condition for a used book! Minimal wear. North-Holland Publishing unknown
书商的参考编号 : GRP117115232
|
|
|
International Congress of Logic Methodology and Philosophy of Science 10th : 1995 : Florence Italy; Frolov Ivan Timofeevich;
Logic Methodology and Philosophy of Science : Proceedings of the 8th International Congress Moscow U. S. S. R. 17-22 Aug. 1987
Elsevier Science & Technology Books 1989. Hardcover. Good. Disclaimer:A copy that has been read but remains in clean condition. All pages are intact and the cover is intact. The spine may show signs of wear. Pages can include limited notes and highlighting and the copy can include previous owner inscriptions. At ThriftBooks our motto is: Read More Spend Less.Dust jacket quality is not guaranteed. Elsevier Science & Technology Books hardcover
书商的参考编号 : G0444705201I3N00 ???????? : 0444705201 9780444705204
|
|
|
International Congress for Logic Methodology and Philosophy of Science Amsterdam Netherlands 1967 : 3rd Rootselaar B. van; ;
Logic methodology and philosophy of science III : proceedings of the Third International Congress for Logic Methodology and Philosophy of Science Amsterdam 1967;
North-Holland Pub. Co. Used - Good. Former Library book. Shows some signs of wear and may have some markings on the inside. North-Holland Pub. Co unknown
书商的参考编号 : GRP97355221
|
|
|
International Workshop on Logic Program Synthesis and Transformation International Workshop on Logic Program Synthesis and Tra
Logic Program Synthesis and Transformation: 7th International Workshop LOPSTR '97 Leuven Belgium July 10-12 1997 Proceedings Lecture Notes in Computer Science
Springer. Used - Good. Former Library book. Shows some signs of wear and may have some markings on the inside. Springer unknown
书商的参考编号 : GRP79092060 ???????? : 3540650741 9783540650744
|
|
|
International Symposium on Multiple Valued Logic 19th : 1989 : South China University of Science and Technology
Proceedings The Eighteenth International Symposium on Multiple-Valued Logic : May 24-26 1988 Palma de Mallorca Spain
Washington D.C.: IEEE Computer Society Press 1988. Hardcover 1988 edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Covers and text in very good condition. xiii 422 p. : ill. ; 28 cm. Hard Cover. Very Good/No Jacket. 4to - over 9�" - 12" tall. IEEE Computer Society Press Hardcover
书商的参考编号 : 011136 ???????? : 0818688599 9780818688591
|
|
|
International Symposium on Multiple Valued Logic 19th : 1989 : South China University of Science and Technology
Proceedings The Nineteenth International Symposium on Multiple-Valued Logic; Guangzhou China 1989
Washington D.C.: IEEE Computer Society Press 1989. Hardcover 1989 edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Covers and text in very good condition. xv 464 p. : ill. ; 28 cm. Hard Cover. Very Good/No Jacket. 4to - over 9�" - 12" tall. IEEE Computer Society Press Hardcover
书商的参考编号 : 011137 ???????? : 0818689471 9780818689475
|
|
|
International Logic Review - Rassegna Internazionale di logica
Logique - International Logic Review - Rassegna Internazionale di logica diretta Franco Spinasi A Euclidian solution of Endometric Figures II ( E. Wette ) - An apparent contradiction in Gödel's Proof par T. Chapman - The concept of time and dynamical implications par U. D'ambrioso - Toward a logic of Doubt par A/ M Hart - Wittgenstein's thory of quantification par T. F Baxley - A definition of enthymematic consequence par T. Kapitan - A new reconstruction of the master Argument of Diodurus Cronus par P. Ohrstrom - The argument from ignorance par G. Schelder - Searle and the logic of Moore's Paradox par R. M Harnish - Proof and relativity - A reply to dudman par C. J Mac Knight -
N° 21 de 1980 - In 8 broché - 93 pages
书商的参考编号 : 23421
|
|
|
Introduction to Logic by Patrick Suppes
Introduction to Logic by Patrick Suppes
New Van Nostrand hardcover
书商的参考编号 : NB2269
|
|
|
Ishiguro Hide
Leibniz's Philosophy of Logic and Language
Gerald Duckworth & Co Ltd 1972 176 pages 13 208x1 524x21 336cm. 1972. Broché. 176 pages.
书商的参考编号 : 100127003
|
|
|
Ispano (Pietro)
Trattato di logica. Summule logicales.
In-8 broché, Bompiani, 2020, XLIV + 674 pp. Un peu frotté, bon état général, bon exemplaire. Peu courant. Poids 620 g. Envoi lettre verte. Frais d'envoi 8,64 euros sur la France, 21 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY ou "LIVRES ET BROCHURES", n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.
书商的参考编号 : UUI-11601
|
|
|
Italy Italian Workshop on Fuzzy Logic 1995 Naples; Editor Dario Mancini; Editor Francesco Masulli; Editor Alfredo Petrosino
New Trends in Fuzzy Logic: Proceedings of the Wilf '95 Italian Workshop on Fuzzy Logic 1995 : Naples Italy 21-22 September 1995
World Scientific Pub Co Inc 1996-09. Hardcover. Good. World Scientific Pub Co Inc hardcover
书商的参考编号 : SONG9810227949 ???????? : 9810227949 9789810227944
|
|
|
Ivakhnenko A. G. Alexey / Aleksei / Aleksey Grigorevich from the library of Alonzo Church
Electroautomatic : Elements of the theory of electrical control systems Elektroautomatika Elektroavtomatika
Kiev: State Technical Press of Ukrainian SSR 1954. Very Good condition. 14 cm x 21 cm. A solid copy. Square and tight. Minor bumps/rubbing to corners. Inner hinges are sound. Pages are clean crisp and unmarked. This is the original 1954 Russian language edition. Since our book listing service does not offer the capability to enter titles using the Cyrillic alphabet the bibliographical data given above are based on an automated translation from the Russian using Babel Fish Altavista. Bound in the original blue boards with a blue cloth spine lettered in shiny gold. The author A. G. Ivakhnenko was born in the Ukraine in 1913. This book is one of his earliest publications probably the 3rd. With more than 30 monographs and over 400 published scientific articles to his credit Professor Ivakhnenko has made numerous major contributions to the fields of cybernetics automatic control adaptive learning systems and infomatics. His most influential invention is probably the Group Method of Data Handling GMDH also known as Polynomial Neural Networks. GMDH is widely used to identify unknown relationships of complex systems to solve a multitude of problems in medicine business sociology and other fields. Ivakhnenko also developed the algorithms on which the artificial intelligence tool KnowledgeMiner is based and was chief editor of the journal Avtomatika. This copy 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. However there is a paper laid-in with bibliographic data concerning the book that appears to be written in Dr. Church's hand. 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. 291pp. Great Packaging Fast Shipping. State Technical Press of Ukrainian SSR Hardcover
书商的参考编号 : 007867
|
|
|
Ivaner T., Petitdemange G., De Saint-Ours A.
Un chat à l affût d un cendrier - Nouveaux parcours pédagogiques favorisant l accès aux savoirs - Connaissance - Comprendre - Neutrino
Maisonneuve et Larose. 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 267 pages. Quelques graphiques en noir et blanc, dans le texte.. . . . Classification Dewey : 160-Logique
书商的参考编号 : R200111110
|
|
|
Iwanicki Dr. Jozef from the library of Alonzo Church
Dedukcja naturalna i logistyczna
Warszawa Warsaw Poland: Nakladem Polskiego Towarzystwa Teologicznego w Warszawie 1949. Good condition. 18 cm x 25 cm. Bound in the original wrappers browned and moderately chipped at the spine and edges. Bookseller's small ink stamp in 2 places -- on the front cover and title page. NO owner's name or bookplate. Pages are age-toned but clean. NO underlining. NO highlighting. NO margin notes. Deductive reasoning natural and Logistics Natural and logistic deduction. Text in Polish. Footnotes. Errata. 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 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. xvi 164pp. Great Packaging Fast Shipping. Nakladem Polskiego Towarzystwa Teologicznego w Warszawie Paperback
书商的参考编号 : 009097
|
|
|
J. Welton:
GROUNDWORK OF LOGIC
VG green cloth boards with gilt titling. Minor wear around the edges, otherwise no significant faults. Octavo 356pp. Small textbook detailing the foundations of logic. Published for the Oxford University Tutorial Press.
|
|
|
J.R. WEINBERG
Introduzione al positivismo logico
J.R. WEINBERG Introduzione al positivismo logico. Torino, Einaudi 1967 italian, 364 SC503Copertina rigidavolume in buone condizioni, segni di usura causati dal fattore tempo e lievi strappi sulla sovracoperta (discreta), copertina e interno in buono stato, legatura salda364 pagine circaCopertina come da foto
|
|
|
J.Tricot
Traité de logique formelle - 3e édition conforme à la première.
Librairie philosophique J.Vrin. 1973. In-8. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Papier jauni. 316 pages - déchirures sur les contre plats.. . . . Classification Dewey : 160-Logique
书商的参考编号 : R100055909
|
|
|
Jaakko Hintikka
Logica giochi linguistici e informazione temi kantiani nella filosofia della logica
Biblioteca di filosofia e metodo scientifico
|
|
|
Jackson, Frank [Ed.]
Conditionals. [SERIES]: Oxford Readings in Philosophy.
20.5x13.5 cm. 238 pages. Softcover. In good condition.
|
|
|
Jacob, François
Logique du vivant . Une histoire de l’hérédité
Editions Gallimard, NRF, coll. « Bibliothèque des Sciences Humaines » 1970 In-8 broché 22 cm sur 14. 354 pages. Bon état d’occasion, dos insolé et couverture salie. Edition de 1970 ou 1971 suivant disponibilité.
书商的参考编号 : 102377
|
|
|
JACOB, Pierre
De Vienne à Cambridge. L'héritage du positivisme logique de 1950 à nos jours. Précédé de - Comment peut-on ne pas être empiriste?
Gallimard , Nrf 1980 In-8 broché 22,3 cm sur 13,7. 434 pages. Couverture insolée en tête du premier plat, intérieur frais. Bon état d’occasion.
书商的参考编号 : 129993
|
|
|
Jacopo Facciolati
INSTITUTIONES LOGICAE JACOBI FACCIOLATI AD USUM SCHOLARUM
In 8. Dim. 21x13,5 cm. Pp. (4)+127, 222, (6)+168. Edizione del 1789 di questa interessante opera di filosofia scritta da Jacopo Facciolati (1682-1769) nato a Torreglia e morto a Padova, sacerdote, filologo, latinista e filosofo. Facciolati venne ordinato sacerdote nel 1704 e conseguì la laurea nello stesso anno. Insegnò logica all'Università di Padova. L'opera sono una serie di istituzioni di logica. Tra gli argomenti trattati: logica, verità del segno, divisione, enunciazione, raziocinio, sillogismo, metodo, predicabilia, predicamenti, analitiche, topiche, sofistica, acroasio, lettere ecc... Alcune figure all'interno. Purtroppo risultano mancanti le pagine dalla 6 alla 13 del tomo secondo. In discrete condizioni, in barbe. Copertina morbida coeva in mediocri condizioni generali con usure e parti mancanti ai margini e dorso. Dorso in parte staccato. Legatura in discrete condizioni con rotture. All'interno le pagine si presentano in buone condizioni con fioriture. Mende. Qualche lieve gora d'umidità marginale. Usure al margine inferiore delle prime otto pagine. Edition of 1789 of this interesting work of phylosophy written by Jacopo Facciolati (1682-1769) priest, phylologist, latinist and phylosopher. Facciolati was ordinated priest in 1704 and obtained the degree the same year. He teached logic in the university of Padoa. The work are a series of institutions of logics. Between the issues treated: logics, truth of sign, division, enunciation, sillogism, method, predicabilia, predicaments, analitics, topics, sophystics, acroasio, letters ecc... Some illustrations inside. Unfortunately pages from 6 until 13 of the second tome are missing. In fair conditions, uncut copy. Soft coeval cover in poor general conditions with wearings and missing parts in the edges and spine. Spine is partially detached. Binding in fair conditions with cracks. Inside pages are in good conditions with foxings. Usage signs. Some slight humidity signs in the edges. WEarings in the lower edge of the first 8 pages.
|
|
|
Jacques Francis
Dialogiques - Recherches logiques sur le dialogue - Collection philosophie d'aujourd'hui.
Presses Universitaires de France. 1979. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 422 pages - couverture contrepliée.. . . . Classification Dewey : 160-Logique
书商的参考编号 : R100052477 ???????? : 2130357571
|
|
|
JACQUES Francis
Dialogiques Tome 2 - L'espace logique de l'interlocution
PUF, Philosophie d'aujourd"hui, 1985, 640 pp., broché, coiffe inférieure fendiellé, plis de lecture sur le dos, couverture légèrement empoussiérée, quelques passages signalés au crayon, état correct.
书商的参考编号 : 63725
|
|
|
Jacquet, J.-M
Conclog: A Methodological Approach to Concurrent Logic Programming (Lecture Notes in Computer Science 556)
Lecture Notes in Computer Science 556; Ex - Library. Previous owner's sticker on the front cover. Ink stamp on half - title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed edges / corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex - Library
|
|
|
JAMBERT Christian
La logique des Orientaux
Seuil.1983.In-8,couv.souple.316 p.Etat correct.
书商的参考编号 : 47253
|
|
|
Jan Lukasiewicz
Aristotle's syllogistic. From the standpoint of modern formal logic
Oxford University Press Reprints distributed by Sa 1998 222 pages 14 224x1 27x22 352cm. 1998. Relié. 222 pages.
书商的参考编号 : 100124461
|
|
|
Jan Lukasiewicz
Aristotle's syllogistic. From the standpoint of modern formal logic
Oxford University Press Reprints distributed by Sa 2025 222 pages in8. 2025. Cartonné jaquette. 222 pages.
书商的参考编号 : 100133059
|
|
|
Janaro Richard Paul
Philosophy : Something to Believe In
Beverly Hills California: Glencoe Press 1975. 6" wide by 9" tall. Bright clean tight square unmarked copy. No creases. No remainder mark. No store stamp owner's name or bookplate. No underlining. No highlighting. No margin notes. From the Preface: "This is a book about philosophical belief. It is not a history of philosophy. It is not a collection of readings by philosophers although it does contain many passages from their actual work. It is an introduction to the nature of belief: how a number of major philosophers have attained belief; what those beliefs were relative to a number of ongoing concerns that appear to be with us still." Chapters focus on themes such as: Being God Mind Alternate Consciousness Morality Life-Styles and Happiness Free Will and Change. Chapter notes. Index. First Printing of the First Edition. Trade Paperback. Near Fine condition. Illus. by Price Richard drawings. xiii 383pp. Glencoe Press Paperback
书商的参考编号 : 010690
|
|
|
JANET PAUL
ETUDES SUR LA DIALECTIQUE DANS PLATON ET DANS HEGEL
Librairie Philosophique de Ladrange, Paris. 1861. In-8. Broché. Etat d'usage, Plats abîmés, Dos fané, Rousseurs. 395 pages. Papier muet encollé sur le dos, le consolidant. Etiquette de code sur la couverture. Fortes rousseurs.. . . . Classification Dewey : 160-Logique
书商的参考编号 : RO40251255
|
|
|
JANET PAUL
ETUDES SUR LA DIALECTIQUE DANS PLATON ET DANS HEGEL
Librairie Philosophique de Ladrange, Paris. 1861. In-8 Carré. Broché. Etat d'usage. Plats abîmés. Dos fané. Rousseurs. 395 pages. Papier muet encollé sur le dos, le consolidant. Etiquette de code sur la couverture. Fortes rousseurs. Par Paul Janet, Professeur de Logique au Lycée Louis-le-Grand.
|
|
|
Japan Fuji International Workshop on Functional and Logic Programming 1995 : Susono shi; Tetsuo Ida; Masato Takeichi
Fuji International Workshop on Functional Logic Programming: Susono Japan July 17-19 1995
World Scientific Pub Co Inc 1995-12. Hardcover. Good. World Scientific Pub Co Inc hardcover
书商的参考编号 : SONG9810224370 ???????? : 9810224370 9789810224370
|
|
|
Japan Logic Meeting 1987 Kyoto; T. A. Slaman; J. Shinoda; T. Tugue; Editor T. Tugue
Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto 1987 Lecture Notes in Mathematics
Springer-Verlag 1989-10. Paperback. Good. Springer-Verlag paperback
书商的参考编号 : SONG0387515275 ???????? : 0387515275 9780387515274
|
|
|
JEAN GOBET
LES TESTS DEMYSTIFIES COMPRENDRE ANALYSER UTILISER LES TESTS.
AUBIER MONTAIGNE. 1986. In-8. Broché. Bon état, Couv. légèrement pliée, Dos satisfaisant, Intérieur acceptable. 306 pages - nombreuses figures en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique
书商的参考编号 : R240050190
|
|
|
Jensen Finn V.
Proceedings from 5th Scandinavian Logic Symposium Aalborg 17-19 January 1979
Aalborg: Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag 1979. Ex-Library. Paperback. Good-/None. Bright blue softcover with crease on front cover. Spine and upper page edges lightly toned. Ex-university library stamps on page edges. Text is unmarked. A section of pages 205-228 is loose from the glued binding but all are present and the binding is otherwise intact. 8vo. BOOK INFO: Edited by Finn V. Jensen Brian H. Mayoh and Karen K. Moller. Articles in three sections 1 Logic and Computer Science: Ten Years of Hoare's Logic a survey; On the notion of Correct Refinement of Programs; The reachability problem for Petri Nets and decision problems for Skolem arithmetic; A Deductive Approach to Program Synthesis; Concurrency as a Basis of Systems Thinking; Algorithmic Logic and it Extensions a survey. 2 Philosophical Logic: Mathematical Logic and Mathematical Reasoning; 'Even If' Unfoldment of Self-reference in Logic and in Computer Science; Some results on interpretability; 3 Mathematical Logic: The Horn complexity of Boolean functions and Cook's problem; Pn PC- and RPC-classes in Generalized Model Theory; Finitary Translation of Mathematical Theories; Herbrand's Theorem for Calculi of Sequents LK and LJ; A classification of higher type functionals; On Hanf-numbers of Unbounded Logics. Includes bibliographical references. Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag paperback
书商的参考编号 : 15144 ???????? : 8773070378 9788773070376
|
|
|
Jevons W. Stanley.
Logica. Traduzione di C. Cantoni. Con 15 incisioni. Quarta edizione.
Milano, Hoepli, 1891, in-16, tela editoriale. pp. VII, 154 + 24 di catalogo editoriale. Con figure n.t. Lievi sbiaditure esterene. Piccola mancanza marginale al frontespizio. Manuale Hoepli.
|
|
|
Jevons, W. Stanley; Hill, David J.
THE ELEMENTS OF LOGIC, A Text-Book For Schools and Colleges; Being the Elementary Lessons in Logic. Recast by David J. Hill.
pp. xviii, 330. Early stamped ownership of M. E. Scheibner on title page. 12mo. Original cloth boards. Lacks leather spine. Professor M. E. Scheibner was a Russian and a graduate of the University of Warsaw. He was a fine scholar, speaking several European languages, and was an equally good English scholar. He was a soldier in the U.S. Civil War and was wounded. Being in Paris he came here expecting to get a commission, but failing, enlisted. From 1877 to 1881 he taught at the Doylestown Seminary; and then he taught at Reading High School for several years. PHILOSOPHY 2
|
|
|
Jeziorowski Artur redaktor tomu; from the library of Alonzo Church
Szkice z dziej�w filozofii niemieckiej
Wroclaw Poland: Wydawnictwo Uniwersytetu Wroclawskiego 1988. Very Good condition. 17 cm x 23.5 cm. Bound in the original brown pictorial wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. Sketches from the History of German Philosophy. Text in Polish with brief summaries in German. Footnotes. Bibliographical references. ACTA Universitatis Wratislaviensis No. 835. Prace Filozoficzne L. Historia Filozofii 6. 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 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. 114pp. Great Packaging Fast Shipping. Wydawnictwo Uniwersytetu Wroclawskiego Paperback
书商的参考编号 : 009096
|
|
|
Jimmy Guieu
I figli del diluvio
Collana Urania n.55
|
|
|
Jimmy Guieu
L'ultimo rifugio
Collana Urania n.166
|
|
?????????
?????PDF???
RSS feed
??
