‎Logic‎

‎5 International Congress of logic, methodology and philosophy of science/Congrès International de logique, méthodologie et philosophie des science. Contributed Papers - Mémoires soumis.‎

‎Ldn., Ontario (1975). 4°, XXV, insges. 422 S., 6 S. Index, OKart., stärker abgegriff., kl. Braunfl. auf Vorderdeck., schwache Knickspuren, aufgelesen, etliche Seiten m. Randläs., Stellspuren.‎

Bookseller reference : PHIL1763

‎Architettura dei calcolatori‎

‎br. Lo scopo di questo testo è illustrare i principi generali dei sistemi di elaborazione, facendo riferimento ad architetture e sistemi reali e introducendo contestualmente i principi di base delle tecnologie abilitanti e il loro impatto sulle architetture. Il testo consente al lettore di analizzare come l'evoluzione delle tecnologie microelettroniche incida sulle soluzioni architetturali dei sistemi di elaborazione. Viene, quindi, proposto un percorso che affianca alla classica trattazione, che illustra i modi di funzionamento dei calcolatori elettronici, un nuovo approccio basato su approfondimenti inerenti all'evoluzione e alle prospettive delle nuove soluzioni tecnologiche e alle loro implicazioni sullo sviluppo e la progettazione di nuovi modelli architetturali, affrontando in modo sistematico anche le tematiche relative alle tecniche d'interazione fra i nodi di elaborazione e il mondo esterno con riferimento ai problemi di interconnessione di più unità e al progetto di unità di I/O, nonché a quelli posti dai sistemi embedded nel loro impiego in molte applicazioni industriali.‎

‎Atti del Convegno di storia della logica.(Parma, 8-10 ottobre 1972)‎

‎pp. 292, in 8°, bross.‎

‎Avventure nell'universo e nel tempo‎

‎Collana Urania n.4‎

‎Cahiers Confrontation 3: Les machines analytiques‎

‎240 p.; 22,5 cm. Brossura editoriale. Molto buono‎

‎Giochi da tutto il mondo. 2000 e più giochi, 5000 disegni e illustrazioni a colori. A cura del Diagram Group‎

‎In-8° (27,5 x 21,3 cm) pp. 320, legatura editoriale con sovraccoperta illustrata a colori. Qualche normale segno d'uso e del tempo alla sovraccoperta, in particolare, parte che ricopre il dorso leggermente scolorita. Con numerose illustrazioni a colori nel testo. Pochi, leggeri segni d'umido al taglio di testa. Lievi arrossature alle carte di guardia, parte di etichetta adesiva editoriale al contropiatto posteriore, per il resto, ben conservato. Indice: 1. Giochi «di tavola». 2. Giochi strategici su scacchiera. 3. Domino. 4. Giochi di carte. 5. Giochi con bersaglio. 6. Solitari. 7. Giochi coi dadi. 8. Giochi da tavolo. 9. Giochi da Casinò. 10. Blackjach e poker. 11. Giochi di carte con banco privato. 12. Giochi di parole. 13. Giochi di fortuna. 14. Giochi per bambini. 15. Giochi di carte per bambini.‎

‎International Logic Review. Rassegna Internazionale di Logica. N. 12 - Dicembre 1975 (vol. VI, n. 2)‎

‎In-8°, pp. da 133 a 278, copert. edit. Sommario: F. Spisani, Lineamenti di Logica Produttiva (Outlines of Productive Logic) testo in ital. e ingl.; I. Block, Hart on the "Tractatus"; C. Yildirim, Belief and Evidence; A. Orenstein, I Think, Therefore I Am Not; E. Wette, After the Inconsistency of Elementary Arithmetic and of Propositional Logic: Astronomical and Ideological Consequences from the Consistent Synthesis of all Motions Into the Geometro-Static Morphology of one Total Diagram; H. Robinson, The Class as One and as Many; J. E. Tomberlin, On Simple Truth; H. Khatchadourian, The Meaning of Proper Names; B. Venneri, Semantic Implications of Herbrand's Theory of Fields (Implicazioni Semantiche della Teoria Herbrandiana dei Campi) testo in ingl. e ital.; A. Bernanose, Etres Vivants et Systèmes Artificiels; L. E. Johnson, A Perspective on Propositions; M. Machacek, Concerning "The Meaning and Structure of Time".‎

‎Konvolut 4 Bücher "LOGIK".‎

‎o.J. alle Titel mit Stellspuren. Käsbauer, Max u. Franz v. Kutschera (Hrsg.). Logik und Logikkalkül. Freibg., Mchn., Alber (1962). 248 S., 1 Bl. Vlgsanz., OLn., berieb., RüKanten aufgeplatzt u. etw. zerschliss./ Eberlein, G. W. Kroeber-Riel, W. Leinfellner (Hrsg.). Forschungslogik der Sozialwissenschaften. Mit Beiträgen von H. Albert, R. Carnap, G. Eberlein, W. Kroeber-Riel, W. Leinfellner, M. Nowakowska. (Düsseldf.), Bertelsmann Univ. Vlg. (1974). gr.-8°, 309 S., 1 S. Vlgsanz., OKart., Kanten u. Ecken berieb. u. leicht bestoß., vord. RüKante unten etw. aufgeriss., Buchblock in einige Lagen zerfallen, unfrisches Expl. (= Wirtschaftstheorie d. Wirtschafts- u. Sozialwissenschaften. Bd. 3)./ Weingartner, Paul. Wissenschaftstheorie II,1 Grundlagenprobleme der Logik und Mathematik. (Stgt.), frommann-holzboog (1976). 358 S., OKart., berieb., Knickspuren, RüDeckel fleck., Schnitt verstaubt, unfirsches Expl./Hübner, A. Die Logik als Zustandhaftigkeit der Welt. kl.-8°, 74 S., OKart., berieb., abgegriff., Widmung an Elisabeth Leinfellner auf Vors.‎

Bookseller reference : PHIL1745

‎Latinitatis Italicae Medii Aevi. Inde ab. a. CDLXXVI usque ad. A. MXXII. Lexicon Imperfectum. Pars Tertia - Fasciculus III. Lemmata Su - Systema Continens. Moderante Francisco Arnaldi. Cura et studio Paschalis Smiraglia.‎

‎Bruxelles, Secrétariat Administratif de L’U. A. I., Palais des Académies 1961, 250x165mm, in brossura. Bon état.‎

‎pages 25 à 75, Pour un paiement via PayPal, veuillez nous en faire la demande et nous vous enverrons une facture PayPal‎

Bookseller reference : 76774

‎Logica.‎

‎In 8°, br. edit. ill., pp. 63,(1); copia molto buona. (z020) Progetto Nuffield per la matematica.‎

‎Origins of Programming: Discourses on Methodology Ershov Andrei P. and Silverman Robert H‎

‎Fine. Publisher: Springer-Verlag New York Incorporated Date of Publication: 1990 Binding: hardcover Condition: As New/No Jacket Two tabs at front edge to indicate parts nameplate inside front cover. hardcover‎

Bookseller reference : 002347 ISBN : 0387970614 9780387970615

‎Reports on Mathematical Logic No. 10‎

‎Warsaw and Krakow Poland: Polish Scientific Publishers 1978. Ex-Library. Paperback. Good/None. Cream-colored softcover toned with age black titling on front and spine. Stamped on front NY University Library with black crayon mark. Interior unmarked and binding sound. Edges and corners softened. Small quarto. Ships from US. BOOK INFO: A bi-annual journal published by The Jagiellonian University of Cracow and The Silesian University of Katowice. Contents include: Number of epimorphisms between finite symmetric Boolean algebras; A logic of generalized quantification; Monadic infinitary propositional logic: a special operator; Algebraic semantics for conditional logics; and others. Jagiellonian University of Cracow; Silesian University of Katowice; Monadic infinitary propositional logic: a special operator; Algebraic semantics for conditional logics; generalized quantification; epimorphisms between finite symmetric Boolean algebras Polish Scientific Publishers paperback‎

Bookseller reference : 13962

‎Reports on Mathematical Logic No. 7‎

‎Warsaw and Krakow Poland: Polish Scientific Publishers 1977. Ex-Library. Paperback. Good/None. Cream-colored softcover toned with age black titling on front and spine. Stamped on front Harvard University Library with date. Interior unmarked and binding sound. Edges and corners softened. Small quarto. Ships from US. BOOK INFO: A bi-annual journal published by The Jagiellonian University of Cracow and The Silesian University of Katowice. Contents include: Metamathematics of modal logic; Monadic algebras; Sentential calculus of identity and negation; and others. Metamathematics of modal logic; Monadic algebras; Sentential calculus of identity and negation; Jagiellonian University of Cracow; The Silesian University of Katowice Polish Scientific Publishers paperback‎

Bookseller reference : 13960

‎"[JOURNAL OF SYMBOLIC LOGIC].‎

‎Journal of Symbolic Logic, Volume 16, 1951.‎

‎(No place), The Association for Symbolic Logic, 1951. Lev8vo. Bound in red half cloth with gilt lettering to spine. ""Journal of Symbolic Logic"", Volume 16. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. IV, 332 pp.).‎

Bookseller reference : 48598

‎"KRIPKE, SAUL A. - KRIPKE MODELS FOR MODAL LOGIC ""POSSIBLE WORLD SEMANTICS""‎

‎A Completeness Theorem in Modal Logic. [In: The Journal of Symbolic Logic. Edited by Alonza Church, Leon Henkin, S.C. Kleene, Alice A. Lezerowitz & Alfons Borgers. Volume 24, Number 1, March 1959].‎

‎(No place), The Association for Symbolic Logic, 1959. 8vo. Wrappers blank with printed title on spine. Entire issue No. 1 of vol. 24, offered. Fine and clean.‎

‎The seminal first printing of Kripke's debut article, which provided the basis for his logic and for the model theory for modal logic in general. The work constitutes the very beginning of Kripke Semantics (often called possible world semantics). Kripke's works in general are rare in fist editions. Many of them remain unpublished and are only known in privately circulated manuscripts.The American philosopher Saul A. Kripke (born 1940) is an exceedingly important logician and philosopher of language and one of the most powerful and influential thinkers of analytic and Anglo-American philosophy. He is considered the greatest living philosopher and perhaps the greatest since Wittgenstein. In 2001 he was awarded the Schock Prize in Logic and Philosophy, which is considered the philosopical equivalent of the Nobel Prize.Kripke, who grew up in Omaha in a religious Jewish family, was somewhat of a prodigy child. During grammar school he got intimately acquainted with and mastered to perfection algebra, geometry and calculus, and very early on he took up philosophy, which later became his career. Still a teenager, in high school, he wrote a work that was to change the face of philosophical logic forever, namely the groundbreaking paper ""A Completeness Theorem for Modal Logic"", which was printed a few years later, in 1959, in the Journal of Symbolic Logic, while he was in his first year at Harvard University. This seminal debut work proposed what later came to be known as Kripke models for modal logic. The story goes that the paper earned a letter from the department of mathematics urging Kripke to apply for a job there, to which he is said to have written an answer explaining ""My mother said that I should finish high school and go to college first.""In 1962 he graduated from Harvard University, where he remained until 1968, first as a member of the Harvard Society of Fellows and then as a lecturer. During these years he developed the logical theories founded in the ""Completeness Theorem"" further and made seminal contributions to the field of logic and semantics. Kripke Semantics is a formal semantics for non-classical logic systems that Kripke began developing in his teenage years, first published something on in 1959 (the present work) and further developed in the 60'ies and. The development of Kripke Semantics was no less than a breakthrough in the making of non-classical logics, of which no model theory existed before Kripke's. With this work, Kripke laid the foundation for proving completeness theorems for modal logic, and for identifying the weakest normal modal logic, which is now named K after him.‎

Bookseller reference : 46888

‎"SHANNON, CLAUDE E.‎

‎A Symbolic Analysis of Relay and Switching Circuits. - [""THE MOST SIGNIFICANT MASTER'S THESIS OF THE 20TH CENTURY""- CORRECTED VERSION FROM THE LIBRARY OF CLAUDE SHANNON]‎

‎New York, American Institute of Electrical Engineer [AIEE], [1938 or after]. Folio (280 x 218 mm). A spirit duplicated (dittoed) copy of a corrected version of the originally published AIEE-paper. From the library of Claude Shannon (unmarked). Only printed on recto, stapled in upper left corner. To upper margin of first leaf: ""Reprinted from A.I.E.E. Transactions, Vol. 57, 1938, with permission of A.I.E.E. and Author"". P. 718 with the note: ""This section has been revised by the author from the original 1938 paper which contained an error"", and pp. 718 and 719 with parts of the original text having been replaced with a different text. Paper creased and yellowed, traces from leaves having been folded. Pp. 713-723.‎

‎( BETH, Evert Willem):‎

‎Un Logicien consciencieux. La philosophie de Evert Willem Beth. Philosophia Scientiae. 1998-1999. Vol. 3, Cahier 4.‎

‎Paris, Editions Kimé 1999, in-8vo, 337 p., brochure originale illustrée.‎

Bookseller reference : 96170aaf

‎(OCKHAM (d') Guillaume) / ALFERI Pierre‎

‎Guillaume d'Ockham le singulier‎

‎Paris, Editions de Minuit, "Philosophie", 1989, 13,5 x 22, 482 pages cousues sous couverture souple imprimée.‎

‎Très bon état (taches dues à mon appareil défectueux).‎

Bookseller reference : PHILOSOP00000922

‎[ARNAULD et NICOLE]‎

‎La logique ou l'Art de penser contenant, outre les Règles communes, plusieurs Observations nouvelles, propres à former le jugement. Quatrième édition, revue & augmentée.‎

‎1675 1 Paris, en la boutique de Charles Savreux chez Guillaume DesPrez, 1674, petit in-12 relié pleine basane, dos 5 nerfs orné, titre or sur pièce peau, gardes blanches ; exemplaire fatigué : coiffes arasées, un mors fendu en tête, coupes et coins émoussés.‎

‎Cette quatrième édiiton revue et augmentée a paru 12 ans après la première.‎

Bookseller reference : 12424

‎[Goclenius, Rudolph; Praes.]. - Brand, Bernhard‎

‎Themata, grammatica, logica, rhetorica, mathematica, physica, politica, de analogia seu proportione. Cui subiecta est assertio verae et orthodoxae sententiae de analogia sacramentali inter panis in coena fractionem & corporis domini in cruce immolationem [...].‎

‎Marburg, Rudolph Hutwelcker, 1605. 4°. Mit Holzschn.-Titelbordüre. 14 nn. Bll., Geheftet (ausgebunden; ohne Einband).‎

‎Wohl erste u. einzige Ausgabe dieser Marburger Hochschulschrift. - Die ersten Bll. etw. braun- bzw. feuchtigkeitsfleckig. Tlw. Knickspuren. Gebräunt. - VD17, 1:081576F (nur in der Staatsbibliothek zu Berlin nachweisbar).‎

Bookseller reference : 64759

‎[Manuscrit du XVIIe siècle]‎

‎Compendium universae logicae.‎

‎Manuscrit ancien, in-8, vélin ivoire de l'époque, en deux parties de 64 et 80 pp., frontispice gravure de la Vierge à l'enfant.‎

‎Beau manuscrit bien relié de ce cours de philosophie tout à fait lisible.‎

Bookseller reference : 9560

‎[PHILOSOPHIE SCIENCES HUMAINES] - TOURNADRE (Geraud)‎

‎L'orientation de la science cartésienne.‎

‎Paris, Vrin, 1982 ; in-8, 320 pp., broché. Très bon état.‎

Bookseller reference : C4586

‎[PHILOSOPHIE SCIENCES HUMAINES] - KOYRE (Alexandre)‎

‎Études d'histoire de la pensée scientifique.‎

‎Paris, Éditions Gallimard, 1980; in-8, 416 pp., broché. Bibliothèque des Idées. Cet ouvrage complète les « Études galiléennes », « la Révolution astronomique : Copernic, Kepler, Borelli », « du Monde clos à l'univers infini », les « Études newtoniennes ». Cette histoire s'étend du Moyen-Âge à Pascal. Bon état.‎

‎[REVUE] COLLECTIF‎

‎Revue internationale de Philosophie.- 25e annee.‎

‎Paris-Bruxelles, 1971. Hardcover in-8°, 628 pages, reliure plein simili, titre dore. (voir aussi "Revue Philosophique")‎

‎Bel exemplaire. [MI-20] N° 95-96 : Hypothese et confirmation - N° 97 : L'égalité en droit et en philosophie politique et morale - N° 98 : Science et logique en Russie soviétique.‎

Bookseller reference : 38840

‎[RUBIK]. VAN LAETHEM, L.‎

‎Le Guide Marabout du Cube et de ses dérivés.‎

‎Nouvelles Editions Marabout, 1981. in-16, 124 pp, broch, couverture illustrée.- 9782501001489‎

‎Tres bel exemplaire. [MB-2]‎

Bookseller reference : 34956