‎Logique‎

‎"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.‎

書籍販売業者の参照番号 : PHIL1745

‎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.‎

書籍販売業者の参照番号 : 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".‎

‎LA LOGIQUE OU L'ART DE PENSER contenant, Outre les Regles communes, plusieurs observations nouvelles, propres ? former le jugement‎

‎1 15x8.5 cm., 3 cc. n.n., 472 pp., 4 cc. n.n., marca al frontespizio, legatura in pergamena con titolo manoscritto al dorso, sesta edizione, opera in buone condizioni, in francese‎

‎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,‎

書籍販売業者の参照番号 : 76774

‎logica per i giovanetti dell'abate Ant. Genovesi. Edizione eseguita su quella riveduta e notabilmente accresciuta dall'autore‎

‎17 cm, br. originale, p. xvi, 272, qualche brunitura‎

‎Matematica e logica per i test‎

‎brossura Questo manuale di matematica nasce dall'esperienza di vari anni di lezioni destinati alla preparazione di giovanissimi studenti ai test di ammissione ai Corsi di Laurea a numero programmato. Gli autori del testo: Sebastiana Caruso, Salvatoer Cavallo, Ersilia Lo Iacono, Chara Pistritto.‎

‎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‎

書籍販売業者の参照番号 : 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‎

書籍販売業者の参照番号 : 13960

‎The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Canto through Russell to Gödel, tome 1 : Grattan-Guinness.‎

‎Princeton University Press Princeton University Press, 2000 (copyright), 690 p., broché, environ 23x15cm, des pliures sur le second plat, bords de la couverture un peu frottés par endroits, des traces d'adhésif sur la page de titre et la dernière page de l'index, sinon intérieur propre.‎

‎En anglais. Merci de nous contacter à l'avance si vous souhaitez consulter une référence au sein de notre librairie.‎

書籍販売業者の参照番号 : 100469

‎"[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.).‎

書籍販売業者の参照番号 : 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.‎

書籍販売業者の参照番号 : 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.‎

‎(DE PARIS Père, chanoine Régulier)./ ARNAUD.‎

‎La Créance de l'Eglise Grecque touchant la Transsubstantiation, défendue contre la Réponse du Ministre Claude au Livre de M. Arnaud. Partie première contenant la créance des six derniers siècles. Livre 2: avec la Réfutation de la Réponse d'un Ministre de Charenton à la Dissertation qui est à la fin du Livre de la Perpétuité défendue, touchant les emplois, le Martyre et les écrits de jean Scot, ou Erigene.‎

‎Chez la Veuve de Charles Savreux, 1672. Edition originale. Un volume in 18 (9.5 x 16.5 cm), reliure plein veau d'époque, dos à nerfs, entre nerfs ornés de pleins fers dorés bien conservées, pièce de titre, coupes ornées d'une guirlande dorée débordant sur les chasses, papier marbré sur contre plats, gardes marbrées, tranches mouchetées rouges, (3 ff + vj + 14 ff + 490 pp + 2 ff), légers et superficiels frottements, bon exemplaire sans rousseurs. " Achevé d'imprimer pour la première fois le dernier jour d''Aoust 1672." Ex libris à la plume: S Martini Ponti 1743. Petit tampon rouge: bibl. de Versailles. Tampon ovale: Grands Séminaire de Versailles.‎

書籍販売業者の参照番号 : 1377

‎-‎

‎Logica matematica e psicanalisi. Peano, Vailati, Peirce.‎

‎Milano, Spirali, 1982, 8vo brossura con copertina illustrata a colori, pp. 251. Contiene interventi, tra gli altri, di Verdiglione - Riguet - Sini - Huber-Dyson. Ottimo stato.‎

‎[Arnauld, Antoine. Nicole, Pierre]‎

‎Logica sive ars cogitandi: In qua praeter vulgares regulas plurima nova habentur circa mentis operationes, & methodum cogitationes suas ordine optimo dirigendi.‎

‎Basileae (Basel): Joh. Rodolf. Thurneisen. 1749. Editio novissima, plurimis in locis emendata, ad optimum exemplar Gallicum revisa: in quâ addita sunt sex capita nullis in editionibus Latinis reperiunda. Titel in Rot und Schwarz. "Index dissertationum et capitum" im Anhang. Kl.-8vo. (ca. 17 x 10,5 cm). Halbleder der Zeit mit handgeschr. Rückentitel "Logik", umlaufender Rotschnitt, XLVIII, 408 (8) S.‎

‎Lateinische Ausgabe der Logik von Port Royal, verlegt durch den Baseler Philosophen, Juristen und Historiker Johann Rudolf Thurneysen (1716-1774). - Gut erhaltenes Bibliotheksexemplar, leicht berieben/fleckig, mit Signatur-Etikett im unteren Rückensegment und kleinen Resten von anderen Etiketten. Innen sehr sauber, nahezu fleckenfrei. Ein durchgehendes Wurmloch im äußersten unteren Eck des Buchblocks. Titel mit zwei kleinen Stempeln, ein Entwidmungs-Stempel auf dem Vorsatz.‎

書籍販売業者の参照番号 : T-1-18085

‎[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).‎

書籍販売業者の参照番号 : 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.‎

書籍販売業者の参照番号 : 9560

‎[PHILOSOPHIE SCIENCES HUMAINES] - BERGSON (Henri)‎

‎Essai sur les données immédiates de la conscience.‎

‎Paris, P. U. F., 1940; in-8, VIII-182 pp., broché. Henri Bergson est un philosophe français né en 1859 à paris et mort en 1941 au même endroit. D'origine juive il est normalien dans la même promotion que Durkheim et Jean Jaures. Il est agrégé de philosophie en 1881. Sous le régime de Vichy bien que voulant se convertir par démarche personnel il y renonce par solidarité avec la communauté juive. Il a eu une carrière riche et importante au point de vue intellectuel. Il reçu le prix NobeL en 1927…. Bon état.‎

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

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

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

書籍販売業者の参照番号 : C4586