417 résultats
1960F62506Firenze, Sansoni 1960 vii + 421pp., softcover, 25cm, G, pages uncut
19751256201975 The Mathematical Association of America - 1975 - In-8 broché, couverture illustrée - xi-202 pages
1938MATH0226Bln., Springer 1938. gr.-8°, VIII, 133 S., 1 Bl. Vlgsanz., OLn., verstaubt, geringe Gebrauchsspuren, Innentit. m. überklebten Ausschnittstellen (Stempel?), flieg. Vors. m. Besitzerstemp. (= Die Grundlehren d. mathemat. Wissenschaften in Einzeldarstellungen Bd. XXVII).
1983130364puf, coll. « Le psychologue » 1983 In-8 broché 21 cm sur 18,4. 206 pages. Dos légèrement passé, intérieur frais. Bon état d’occasion.
1963R200141312Julliard. 1963. In-8. Broché. Etat d'usage, Couv. légèrement pliée, Dos plié, Quelques rousseurs. 110 pages, nombreuses illustrations en noir et blanc hors texte - papier jauni, coins frottés, traces d'encre sur le 1er plat, déchirures sur le dos: coiffes abimées.. . . . Classification Dewey : 160-Logique
1969R320053073GAUTHIER-VILLARS. 1969. In-8. Broché. Etat d'usage, Coins frottés, Dos frotté, Intérieur frais. 246 pages.. . . . Classification Dewey : 160-Logique
1996RO30135256ALBI MICHEL. 1996. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 264 pages augmentées de nombreuses illustrations en noir et blanc dans le texte. . . . Classification Dewey : 160-Logique
1993R240079963DUNOD. 1993. In-8. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Intérieur frais. 249 pages - quelques illustrations en monochrome hors texte.. . . . Classification Dewey : 160-Logique
1974F78042Dordrecht/ Boston, Reidel Publishing Company 1974 xxv + 533pp., in the series "Synthese Historical Library. Texts and studies in the history of logic and philosophy" vol.10, 23cm., hardback (editor's blue cloth), dustwrapper, Good condition, F78042
1969PHIL1755Dordrecht, Reidel (1969). gr.-8°, VII, 366 S., 1 Bl. Reihenverzeichn., OLn., nur geringe Gebrauchsspuren. (Synthese Library. Monographs of Epistemology... ). In Englisch.
1974vb3139Mame Repères Broché 1974 In-12 (11 x 18 cm), broché, 290 pages ; pliure au dos, bord des plats et dos insolés, par ailleurs assez bon état. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.
1970vf781Presses Universitaires de France Epiméthée Broché 1970 In-12 (13.5 x 18 cm), broché, 497 pages, traduit de l'allemand par D. Souche ; pliures au dos, quelques traces aux plats, par ailleurs intérieur très frais, bon état général. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.
1998100138887Routledge 1998 244 pages 15 75x2 29x23 62cm. 1998. Cartonné. 244 pages.
1993F66455Cambridge, Cambridge University Press 1993 viii + 531pp., 23cm., in the series "The Cambridge translations of medieval philosophical texts" vol.1, previous owner's name on first page, softcover, VG, ISBN 0-521-28063-X, [English translation]
1973100137770OXFORD UNIV PR 1973 318 pages 13 97x2 54x21 844cm. 1973. Cartonné jaquette. 318 pages.
1994F108789Berlin, 1994 216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789
1960F62507Firenze, Sansoni 1960 vii + 553pp., softcover, 25cm, G, pages uncut
1994100136327Cambridge University Press 1994 319 pages 15 5x22 7x2 5cm. 1994. Broché. 319 pages.
1987MATH0274New York, London, Plenum Press (1987). 8°. XIV, 371 S. OPappbd. Ecken leicht bestoßen.
1998100138812Laterza 1998 432 pages 13 8x3x20 8cm. 1998. Broché. 432 pages.
1980129993Gallimard , Nrf 1980 In-8 broché 22,3 cm sur 13,7. 434 pages. Couverture insolée en tête du premier plat, intérieur frais. Bon état d’occasion.
199346241Seuil Couverture souple Paris 1993
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
1959F62856Brussel, Paleis der Academiën 1959 volledig in 2 delen: viii + 889pp., 26cm., in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor Wetenschappen, Letteren en Schone Kunsten van België. Klasse der Letteren" nr.34, goede staat, F62856
1966F109135Hamburg, 1966 138pp., 21cm., softcover, text in German, Doctoral dissertation (Dissertation zur Erlangung der Doktorwürde der Philosophischen Fakultät der Universität Hamburg), stamp at verso of title page, text is clean and bright, good condition, F109135
