Renaud, Adam.Livre Rare Book
Logic Colloquium 2000 hardcover: Lecture Notes in Logic 19
réf. 61187424A.K. Peters Limited . Papeback. New. pp. 350 A.K. Peters, Limited unknown
Cold Books · Inde97,86 $US≈ 87,59 €
réf. 30581Turnhout, Brepols, 2009 Broche, 127pp + facsimile en coul. hors texte, 16x25cm., *neuf. Texte francais et latin. ISBN 9782503528410.
réf. 61187424A.K. Peters Limited . Papeback. New. pp. 350 A.K. Peters, Limited unknown
réf. 441579e année - N° 4 - avril 1884 - Félix Alcan, Editeur - Broché
réf. F21156, Paris, Boivin & Cie. 1932, xi + 279pp., br., bon état, dans la série "Bibliothèque de la Revue des Cours et Conférences"
1932réf. F38511Paris, Boivin & Cie. 1932 xi + 279pp., br., bon état, dans la série "Bibliothèque de la Revue des Cours et Conférences"
1951Mm 145x200 Collana "Introduccion a la ciencia actual". Brossura editoriale di 349 pagine. Timbri di biblioteche pubbliche estinte al frontespizio, firme d'appartenenza alla prima carta bianca, per il resto buona copia. Testo in spagnolo - spanish text. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
193020x12. 480p. Falto de portadilla delantera. Requiere encuadernación. Algo subrayado y anotado a lápiz. Trad. J. Besteiro.
1932xi + 279pp., br., bon état, dans la série "Bibliothèque de la Revue des Cours et Conférences"
Paris, Boivin & Cie. 1932, xi + 279pp., br., bon état, dans la série "Bibliothèque de la Revue des Cours et Conférences"
1932In 16, bross.ed., pp.277.Es. in parte sciolto, strappi alla cop., mancanze al dorso, internamente discreto stato.In lingua francese.Luogo di pubblicazione ParisEditore Boivin & C.Anno pubblicazione 1932Collana Bibliotheque de la Revue des Cours et ConferencesMateria/Argomento Logica, Psicologia
1968In-8° (cm. 25,4x17,3), pp. 326. Cartoncino edit. Questo primo volume contiene 34 pagine di dotta introduzione, commenti e spiegazioni + 274 pagien col TESTO LATINO COMPLETO delle "Quaestiones" + 18 pagine di INDICES (codicis, quaestionum, regularum, generalis). Si tratta del commento agli ANALITICI PRIMI, cioè alla prima parte della Logica di ARISTOTELE, sue leggi, silogismi, conversione, conseguenze ecc. Il 2° vol., che NON abbiamo, conteneva i trattati minori e la Logica. CAMPSALL (Ricardus de Campsalle) (c.1280-c.1350), teologo e filosofo scolastico a Oxford, precursore di Guglielmo di Ockham.
réf. 96181aafWürzburg, Königshausen & Neumann, 1988, in-8vo, 202 S., orig. Leinenband mit orig. illustr. Umschlag.
réf. 50400Félix Alcan, Bibliothèque de Philosophie Contemporaine, 1939 14 x 23, 420 pp., broché, Bon état - dos réparé
1976Mm 145x215 Brossura editoriale di 147 pagine, ex-libris al contropiatto anteriore, sottolineature sparse con uso di matita, dorso leggermente brunito. Buono stato. Spedizione entro 24 ore dalla conferma dell'ordine.
2005Brossura editoriale, copertina segnata da minime tracce da uso, leggermente consumato da manipolazioni il patinato, piccole fioriture alla guardia e risguardia anteriore, n. 282 di collana, traduz. M. Di Bari, testo illustrato da B. Shore, carte allo stato del nuovo, minimo pulviscolo e fioriture ai tagli. N. pag. 259. USATO
1973In 8, br. ed. pp. 111, tav. col. f.t. in fine.lievi tracce d'uso alla cop. interno ottimo.Luogo di pubblicazione TorinoEditore BoringhieriAnno pubblicazione 1973Collana Didattica- Proposte ed esperienzeMateria/Argomento Didattica, Scienze, Matematica, Logica
1977SOCIETà EDITRICE INTERNAZIONALE SEI 1977 302 PP. SEGNI DEL TEMPO, RIPARAZIONE A SCOTCH SUL MARGINE INTERNO DELLA COPERTINA (ESTERNO E INTERNO), TIMBRO COPIA OMAGGIO IN TERZA DI COPERTINA.
2021br. Se la logica regola le forme e le leggi del pensiero, come può integrarsi con il ragionamento matematico? Tratteggiare i confini di questa congiunzione significa affrontare un viaggio tra le correnti della filosofia e della matematica, giungendo infine a un elemento altro, integrato: la logica matematica. Abraham Robinson ricostruisce il quadro storico di questo complesso percorso, tratteggiandone i rapporti con i diversi àmbiti della filosofia e del linguaggio, in un testo che, malgrado la complessità dell'argomento, riesce a mantenere salda una straordinaria forza divulgativa. Arricchiscono il volume la prefazione di Gabriele Lolli e il saggio di Beppo Levi del 1934 sulla logica matematica.
19318vo., First Edition, some mild offsetting from fold-ins to free endpapers, small neat contemporary signature on front paste-down; green cloth, gilt back, a near fine copy in unclipped dustwrapper, the latter lightly age-soiled, and chipped (not affecting lettering) at head of backstrip. With the trade ticket of Blackwell of Oxford on front paste-down. EXTREMELY SCARCE, ESPECIALLY IN THIS CONDITION.
1979135x223mm. VI+312 pages. Hardcover. Cover slightly stained. Cover edges slightly bumped . Spine slightly faded and stained. Front cover slightly detached. Pages slightly yellowing. Else in good condition.
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.
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
1993réf. 46241Seuil Couverture souple Paris 1993
1971réf. R100050614Presses universitaires de France. 1971. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos plié, Intérieur frais. 180 pages - coiffe en pied légèrement abîmée.. . . . Classification Dewey : 160-Logique
1955réf. 009120Paris / Louvain: Gauthier-Villards / Nauwelaerts 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and tight. Bound in the original paper wrappers a little sun-faded at the spine. NO owner's name or bookplate. Pages are bright white clean and unmarked. Collection de logique mathematique série A No. VII. Contents: Part I. Logique combinatoire et alpha conversion: 1 La construction des fonctions combinatoires; 2 Des systèmes d'axiomes pour la logique combinatoire; 3 L'equivalence de la logique combinatoire à la alpha-conversion; 4 La connexion entre alpha-conversion et fonctions récursives; 5 Le paradoxe de Curry. Part II. Les modèles des logiques formelles: 1 La notion de modèle; 2 Le thèorème de Löwenheim-Skolem; 3 La logique Lc; 4 Les modeles dans une logique formelle; 5 Quelques démonstrations d'indépendance. Bibliographie. Index des auteurs. Table des symboles. 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. iv 71pp. Great Packaging Fast Shipping. Gauthier-Villards / Nauwelaerts Paperback
