A.A.V.V.MareMagnum
1 807 résultats
19703 Volumi, 23 cm, brossura editoriale con titolo al piatto e dorso, p. 1-130; 130-240; 241-342. Rivista trimestrale a cura del A Quarterly Review edited by Centro di Cibernetica e di Attività Linguistiche dell'Università di Milano. Rispettivamente: Gennaio/Marzo, Aprile/Giugno, Luglio/Settembre 1970. Tracce del tempo alle copertine.
1980trad. di Livio Grillo e Costantino Panzani in 16°, bross. edit. ill.
réf. 25176Neuchâtel, Secrétariat de l'Université, 1987. Gr. in-8°, 300p. Broché.
réf. 132495aafNeuchâtel, Secrétariat de l’Université, 1987, gr. in-8vo, 300 p., brochure originale.
1990réf. PHILOSOP8989890725De Boeck, "Université, 1990, 16 x 24, 274 pages sous couverture souple imprimée. "Cette introduction comporte deux grandes sections. La première comprend une présentation technique et théorique de la logique formelle, principalement - après une familiarisation avec la pensée logique - la théorie des fonctions de vérité et la logique des prédicats, ainsi que des éléments de logique non classique. La seconde section est d'orientation plus philosophique. Elle invite à réfléchir sur la logique et les problèmes de philosophie du langage qu'elle suscite à partir de Wittgenstein, Frege, Russell, Quine et Strawson. Réunies, les deux sections constituent une introduction technique, théorique et philosophique à la logique classique et à la philosophie du langage. Technique, parce qu'il s'agit d'introduire le lecteur à la maîtrise des outils de base. Théorique, parce qu'il s'agit de lui rendre compréhensibles les concepts fondamentaux - le vocabulaire - de la logique. Philosophique enfin, parce qu'il s'agit de l'inviter à réfléchir sur la nature de l'entreprise logique et sur ses limites, en relation avec la question du langage. L'ouvrage s'adresse aux étudiants universitaires ainsi qu'aux linguistes, philosophes, informaticiens, scientifiques intéressés par la logique et le langage. Plus généralement, un dessein de cet ouvrage est de contribuer au développement ou, du moins, à la sauvegarde d'une culture critique touchant aux fondements d'un aspect essentiel du monde où nous vivons : son ossature et sa dynamique techno-logiques."
réf. 24922Bruxelles, Librairie de Culture Humaine, 1930. 13 x 19, 240 pp., broché, bon état.
2010Spesso volume in-8° (cm. 23x16), pp. XVIII, 676, (1). Cartoncino editoriale. Contiene 1) i profili bio-critici e la bibliografia per ognuno dei 42 matena5tici della "Scuola di Peano, in ben 212 pagine (tra cui Burali-Forti, Tommaso Boggio ecc.) a c. di Erica Luciano e Clara Silvia Roero. 2) Gli ATTI del Convegno con 20 saggi di specialisti, tra cui due in frnacese sulla comunità matematica russa e sulla definizione di arei di una superficie, 2 in inglese sul linguaggio logico e l'eredità di Grassmann e su Pieri e la scuola Tarski. Gli altri italiano su Rodolfo Bettazzi, didattica della logica matematica, Alessandro Padoa, il secondo problema di Hilbert, Vailati e la riforma dell'insegnamento della matematica, e i suoi carteggi; dal colcolo geometrico alle forme differenziali; unificazione delle notazioni vettoriali; Burali-Forti e Marcolongo; concetto di uguaglianza; pianificare il lessico scientifico internazionakle; Wuester; Geymonat; interlinguistica e Fondo Gliozzi. Indici.
1498In folio (mm. 300x210); 112 carte. Fascicolazione: a-s6, t4; testo su due colonne con carattere gotico di due differenti dimensioni: su 56 linee il testo, su 69 il commento. Alcune silografie nel testo illustrano schematicamente quanto affermato nella trattazione. Piena pergamena all'olandese settecentesca con titolo e autore manoscritti al dorso. Paolo Nicoletti da Udine (Udine 1368 ca. - Padova 1429), detto Paolo Veneto, fu il primo ad arrecare una reale innovazione nella tradizione dottrinaria dell'Università di Padova. L'autore infatti costituisce il punto di riferimento per tutta la speculazione successiva sia per quanto riguarda la metodologia logica che lo studio della fisica. Nell'ambito della logica, infatti, Nicoletti sistemò la teoria del regressus demonstrativus, raccogliendo i risultati della millenaria riflessione dell'aristotelismo sul ruolo della demonstratio quia e della demonstratio propter quid. Nello studio della fisica, invece, applicò le dottrine averroiste provenienti dalle università di Oxford e Parigi, che puntavano ad un orientamento fisico-sperimentale e logicista, alieno da interpretazioni metafisiche e teologiche. Egli fu così l'iniziatore di una tradizione di pensiero destinata a divenire il "metodo ufficiale" della riflessione scientifica che, in seno allo Studio di Padova, si potrasse fino a quella del giovane Galilei. Il commento del faentino Manghi inizia a pag. 68. Buon esemplare con alcune note manoscritte all'occhietto e timbro antico di appartenenza: "Preposto D. Giacinto Amati". Leggere fioriture, limitate tracce di umidità, maggiormente degne di nota alle ultime 5 carte. Piccoli lavori di tarlo: al margine interno, dalla carta n5 a tutto il fascicolo p; al margine superiore della carta k5 alla fine; due forellini anche a centro pagina alle ultime tre carte. Restauro all'angolo superiore delle carte a3-b1 e piccola mancanza allo stesso angolo delle carte b2-4. Goff P-230; Hain 12504; Polain (B) 3019; Sander 5483; IGI 7362 cita 7 copie in Italia; BMC V 569.
1990Minor creasing to rear wrap. Light shelfwear. ; xxvi, 223pp.; The British Academy Classical and Medieval Logic Texts. ; 223 pages
1980Mm 110x180 Brossura editoriale di pagine 175. A cura di Martin Gardner. Opera in ottime condizioni. Spedizione in 24 ore dalla conferma dell'ordine.
1991Lecture Notes in Computer Science 569; Ex - Library. Previous owner's sticker on the front cover. Ink stamp on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex - Library
réf. SLIVCN-8057158620590LUDATTICA
1959in 8°. br. edit. con ali, coll. "Enciclopedia di autori classici 17", pp. (2), 110, (6) . Buona copia. (Za6). (La spedizione standard è SEMPRE tracciata con raccomandata - piego di libri, eventuale FATTURA da richiedere all'ordine) (za6)
1845Raccolta di Opere utili, Dispensa 12 - 17 - 19 - Filosofia - Dedica - Gli Editori - Prefazione 3 17,5x10,5 cm., pp. XXIII (1), 564; XVI, 303; XV (1), 445 non refilate in gran parte ancora intonse, prima edizione, in italiano, piccole fioriture sparse, normali segni d'uso e del tempo, piccoli strappi alla copertina del terzo volume, dorsi rinfforzati con carta stesso colore e titoli manoscritti, opera completa in 6 volumi, disponibili i primi 3. Firma di appartenenza. RARO
1562In-12°; cc. 8, 160 (i.e. 168) un legno al verso del frontespizio; legatura in pergamena con fregi in oro al dorso, impressioni a secco ai piatti, tagli in rosso. Una antica cancellatura a inchiostro al frontespizio. Edizione originale. Si tratta della prima opera del medico padovano Girolamo Capodivacca (DBI ad vocem), “un trattato di logica medica, propedeutico ad ogni terapia. Egli distingue la dottrina metodica dalla dottrina sperimentale”.
1936In 8, cart., pp. XV+463, parzialmente intonso.Dorso della cop. mancante, gore evidenti e piccole fior. al piatto ant., residuo attaccato al piatto ant., piccoli fori alla testa del piatto ant., piccole gore al piatto post., leggere tracce di sporco alla cop., leggera brunitura fattore tempo alla cop. e ai tagli, barbe, interno in ottime condizioni.Luogo di pubblicazione RomaEditore Reale Accademia d'ItaliaAnno pubblicazione 1936Collana Collezione varia 5Materia/Argomento Arte, Logica, Scienza
1957Opera completa, 3 volumi in brossura editoriale a stampa, cm18x26.5., pp pp VIII 530 (2), VIII 515 (5), VIII 467 (5); introduzione di Ugo Cassina. VOLUME I (1957): ANALISI MATEMATICA - CALCOLO NUMERICO. VOLUME II (1958): LOGICA MATEMATICA - INTERLINGUA ED ALGEBRA DELLA GRAMMATICA. VOLUME III (1960): GEOMETRIA E FONDAMENTI - MECCANICA RAZIONALE - VARIE. Molto ben conservati, a fogli chiusi; sul frontespizio di ciascun volume una piccola nota a penna e una a matita, lieve traccia di piega sul piatto posteriore del volume secondo.
1955Collana Urania n.75
1996réf. 33344Pau pUp 1996 In-8 carré textes en français et en anglais
1963vi + 173pp., 23cm., softcover, good condition, F78052
1997528 pages including index. Exposes the myths and the realities of the global economy in terms of human struggle. Contends that the global economy is sowing 'creative destruction' everywhere: while making possible great accumulations of wealth, it is also reviving forms of human exploitation that characterized industry 100 years ago. Warms that without reform, social peace and middle-class lifestyles will be threatened. Bright, clean and unmarked but for remainder dot upon bottom edge. Excellent copy. Book
1957réf. 023568Lund / Copenhagen: CWK Gleerup / Ejnar Munksgaard 1957. INSCRIBED by the AUTHOR: "with the writer's compliments" but unsigned. From the library of Prof. Alonzo Church. Very Good condition. NOT a library discard. No. 2 in the Library of Theoria series edited by Ake Petzall. A pioneer work in the logic of preference. From: The Philosophy of Sören Halldén edited by K. Segerberg and N-E Sahlin: "The contraposition principle -- In On the Logic of Better Sören Halldén defends a principle that says that the better the presence of something is the worse is its absence.5 If coffee is better than tea then not-tea is better than not-coffee. Or to take a more extreme example if not-cancer is better than not-flu then flu is better than cancer which on the surface sounds quite reasonable. Halldéns argument in favour of this principle runs as follows: Making a value comparison generally means not comparing A to B but rather comparing A without B to B without A. To say that it is better to be a philosopher than to make money using Aristotles own examples is to say that to be a philosopher and not making money is better than to make money and not be a philosopher. Making money and being a philosopher is not considered a possibility." This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. 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. This book doesn't have Alonzo Church's name anywhere but see our inventory for several other items that do. INSCRIBED by the AUTHOR. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. 112pp. Great Packaging Fast Shipping. CWK Gleerup / Ejnar Munksgaard Paperback
1856réf. 97348Paris: Migne 1856. 4° (28 x 18 cm). Zeitgenössische Halblederbände mit goldgeprägtem Rücken. [Hardcover / fest gebunden].
1867In 4', 19x28, leg. mz. t., tit. in oro al dorso, pp., 1675, strappo e mancanza al piede del dorso, mancanze di parte della carta al piato ant., tracce d'umiditnell'ultima parte del volume, piccola rottura alle cerniere , interno buono, fioriture e segni del tempo.Luogo di pubblicazione PARISEditore MIGNE'Anno pubblicazione 1867Collana OEUVRES COMPLETES DE BOSSUETMateria/Argomento Filosofia, Teologia, RELIGIONE, LOGICA
1828réf. 43Paris, Beaucé-Rusand, Belin-Mandar et Devaux ,1828. In-8 , élégante demi reliure noire à coins, dos à nerfs orné de caissons dorés. 318 p., portrait gravé de Bossuet en frontispice, grandes marges.
