1 936 résultats
in-8, 292 pages, broché. Bel exemplaire. [SO-4]
2010R200139101Express Roularta. 2010. In-8. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Intérieur frais. 292 pages, nombreuses illustrations en noir et blanc dans et hors texte.. . . . Classification Dewey : 160-Logique
RO80234867Editions france loisirs. Non daté. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 160 pages augmentées de nombreuses illustrations en couleurs dans le texte. Couverture rempliée.. . . . Classification Dewey : 160-Logique
2016R100073312Rba. 2016. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 157 pages - nombreuses photos et figures en noir et blanc dans et hors texte.. . . . Classification Dewey : 160-Logique
Rudolf Carnap La costruzione logica del mondo. , Fratelli Fabbri Editori 1961, Piatti e dorso segnati da macchie di umidità e fioriture. Tagli con gore. Firma a penna nel frontespizio. Interno in ottimo stato ma si possono trovare, saltuariamente, sotolineature e segni a matita/pen Buono (Good) . <br> <br> <br> 458<br>
19953388Princeton, NJ : Princeton University Press (Science Library), 1995. The science and philosophy of the infinite XII, 342 S. (24 cm) Paperback / kartoniert
134pp VG/G First edition, semi-stiff editorial wrappers with light stain in the lower corner with editorial dustwrapper, tear on dw at tail but no loss, former owner ex-libris at the back of front cover and inscription on endpaper otherwise in excellent conditions. Scarce title, from the series Studies in Logic and the Foundations of Mathematics.
Roy Harrod Foundations of inductive logic. Stati Uniti d'America, Macmillan 1956 english, 290 BTT107Copertina rigida, volume in buone condizioni, segni di usura causati dal fattore tempo sulla copertina, interno in ottimo stato, legatura salda290 pagine circaCopertina come da foto
No inscriptions or marks. No creasing to covers or to spine. A lovely clean crisp very tight copy with bright unmarked laminated boards and no bumping to corners. No dust jacket. 364pp. This book which is the first to explore the role of fuzzy logic in chemistry begins with a foreword by the founder of fuzzy logic, Professor Lotfi A Zadeh. It discusses molecular size and shape, chirality, quantum-chemical systems, hierachical classification and the engineering of molecular species including drug design.
Paris, Presses Universitaires de France, (1967), in-16, br. edit., pp. 124, (8).
1967R100056821Presses universitaires de France. 1967. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Papier jauni. 124 pages - étiquette collée sur le 2eme plat.. . . . Classification Dewey : 160-Logique
65072P., PUF (Collection SUP), 1967, in 12 broché, 127 pages ; petit accident au plat inférieur.
1979R100060478Editions scolastiques. 1979. In-8. Broché. Etat d'usage, 1er plat abîmé, Dos satisfaisant, Intérieur frais. 137 pages - coins frottés - petite déchirure en pied sur le 1er plat - nombreuses figures en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique
1937023617Leipzig Germany: S. Hirzel 1937. Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 2. This was reviewed by Olaf Helmer in Church's Journal of Symbolic Logic Volume 3 Issue 1 1938 41-42. This volume was among 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 volume 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. Illus. by NOT a library discard. 58pp. Great Packaging Fast Shipping. S. Hirzel Paperback
In 8°, brossura editoriale, pp. XVI, 316, (2), esemplare molto buono. (spedizione standard SEMPRE tracciata con raccomandata-piego di libri, eventuale FATTURA da richiedere all'ordine)
1955009120Paris / 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
1971R100050614Presses 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
199346241Seuil Couverture souple Paris 1993
In 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
Spesso 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.
135x223mm. 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.
8vo., 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.
br. 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.
SOCIETà 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.
In 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
