2 444 résultats
réf. Ph839-HOxford University Press 2004. hbk 241 pp. ISBN: 0195159888 excellent in dj as new Oxford University Press, 2004, hardcover
réf. Ph865-HOxford University Press 2004. hbk 241pp ISBN: 0195159888 excellent in dj as new Oxford University Press 2004, hardcover
1876In 16', mz. pelle con tit. in oro al dorso, piatti marmorizzati, pp. 492, abrasioni e un ammaccatura ai piatti, soprattutto ai marigni, dorso scolorito, interno discreto, carte brunite.Luogo di pubblicazione RomaEditore Tipografia della paceAnno pubblicazione 1876Materia/Argomento Filosofia, Logica
réf. 167611paperback. 349 pages. Thick 8vo original gray printed wrappers. Louvain Nauwelaerts 1968. Ownership signature on title page otherwise fine. unknown
réf. 167611paperback. 349 pages. Thick 8vo original gray printed wrappers. Louvain Nauwelaerts 1968. Ownership signature on title page otherwise fine. unknown books
1971In 8°, br. edit. con sovrac. ill., pp. 222,(2); testo in tedesco; bruniture alla br., per il resto buon es.. (x202)
1971réf. 78655Dodrecht-Holland, D. Reidel Publishing Company, 1971. Gr.8°; 182 pages; [Englisch]; 1. Auflage Orig.-Leinen mit OU Schutzumschlag am Rücken gebräunt und mit kleinem Einriß; Besitzeintrag Synthese Library
1964réf. MATH0248Wien, Mchn., Oldenbourg (1964). 4°, 74 S., mit rotem Klebeband u. Tixoband am Rücken verklebt, Titel u. Widmungseite am Seitenschnitt m. Tixo verstärkt, einige Knickspuren, 2 Seiten m. kl. Ausriss am Seitenschnitt, papierbed. gebräunt.
réf. 23091Paris, Gauthier-Villars et Cie, 1873. 14 x 22, 90 pp., broché, bon état (sauf couverture avec quelques tout petits manques).
1757réf. 75001757 Paris, chez David, Libraire, 1757 ; In-8°, plein veau marbré de l' époque, dos à nerfs, compartiments de double filet doré très orné de fleurons et petits fers dorés, palette dorée en tête et pied, titre doré sur étiquette de maroquin citron, tranches rouges; XIVpp.( titre, avertissements), (4)pp.( Epître à Madame la Marquise de Pompadour),(II)pp.(errata), 310pp., (7)pp.( Table, approbation privilège).L'épitre à la Marquise de Pompadour par le libraire David, est placée entre le titre et l'avertissement de la première édition. Bon exemplaire de ce classique de la rhétorique et de la logique : I. Des tropes en général - II. Des tropes en particuliers : la catachrese, la métonymie , la métalepse, la synecdoque, l'antonomase, la litote, la métaphore, l'allusion, l'ironie, l'euphémisme, l'antiphrase, la périphrase, l'hypallage, l'onomatopée,etc...- III. Des autres sens dans lesquels un même mot peut être employé dans le discours.
175720 cm, rilegatura coeva in piena pelle, titolo e fregi in oro al dorso che è diviso da cinque nervi, risguardi in carta policroma, tagli colorati; Epître à Madame la Marquise de Pompadour anteposta all'avvertisment, XIV, (4), (2), 310, (8). Qualche brunitura (viraggio della carta). Incipit e finalini silografici.
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
1990réf. R320019710MARABOUT. 1990. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 317 pages illustrées de nombreuses figures dans le texte.. . . . Classification Dewey : 160-Logique
réf. 10525,Paris, Plon 1956, 311 pp., 1 vol. in 12 br. beaucoup d'annotations au crayon de mine
2022br. Il professor Mens e gli studenti Aequor e Fulmen, prendendo spunto da vicende quotidiane, si cimentano con la logica matematica e linguistica. Attraverso dialoghi vivaci e divertenti, arricchiti da originali ed eloquenti disegni, i personaggi esplicitano i procedimenti logici che li portano alla soluzione dei quesiti. Dall'isola di Smullyan ai connettivi matematici e linguistici, dai campi semantici ai diagrammi di Eulero-Venn e così via, questo volume fornisce approfondimenti agili e batterie di test per esercitarsi sui diversi argomenti di logica proposti nei dialoghi. Se sei uno studente che deve prepararsi per i test di ammissione all'università o per le gare di matematica, se sei un docente che vuole costruire laboratori interdisciplinari a partire dai test di logica (per finire poi, chissà, col realizzare progetti di scrittura creativa o giochi di logica), se sei una persona curiosa che vuole cimentarsi in esercizi di logica, questo testo fa per te!
1979réf. R100052477Presses Universitaires de France. 1979. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 422 pages - couverture contrepliée.. . . . Classification Dewey : 160-Logique
1944réf. 8241Paris, Editions J. Olivien, 1944 ; in-8, broché, couverture orange semi-cartonnée imprimée rouge et noir ; 260 pp.
1929réf. PHIL0427München, Reinhardt 1929. 143 S. OHLn. Bibliothekslasche auf Spiegel, Stemp. auf Titel.
réf. 76544aafBerlin, Druck und Verlag von Georg Reimer, 1868, gr. in-8vo, XII + 662 S., Ex-Libris O.-Holzsschnitt signiert PK, Emil Spiesz, hs. Signatur auf Titelbl., Original-Leinenband d. Zeit.
1868In 8', br. ed. pp. 196, bruniture e spaccature al dorso, segni d'uso ai piatti, fioriture e segni del tempo all'interno.
1958240pp., 21cm., 2nd editon, softcover, very good, F74900
1958réf. F74900Frankfurt am Main, Vittorio Klostermann 1958 240pp., 21cm., 2nd editon, softcover, very good, F74900
1998In 8, br. ed., pp. 220 con ill. in n. n.t.Prima ed.Piccole pieghe agli angoli del piatto ant., nastro adesivo di carta con numero a penna al piede del dorso, interno in ottime condizioni.Luogo di pubblicazione TorinoEditore BoringhieriAnno pubblicazione 1998Materia/Argomento Logica, Matematica, ScienzePrima Edizione Sbr>
2013réf. 040043BINARY LOGIC SA 2013. paperback. New. 11x8x0. NEW!I ship Worldwide from Puerto Rico USA. Listing Includes Books Image . Please email me if you need to see more pictures! The orders are processed promptly carefully packaged and shipped within 1 day of purchase. PLEASE NOTE! if you need the book quickly please Purchase Priority Shipping. Media will not show updates in mail confirmation till reaches continental U.S. BINARY LOGIC SA paperback