Oxford university press 1993 368 pages 14x2 6x22cm. 1993. Cartonné jaquette. 368 pages.
Très bon état intérieur propre bonne tenue jaquette un peu défraîchie
Athenäum, Hain, Scriptor, Hanstein, Forum Academicum, 1981, gr. in-8vo, 306 S., Original-Broschüre.
Phone number : 41 (0)26 3223808
Paris/ Louvain, F. Savy/ Peeters 1872 iii + 156pp., br.orig. (dos renforcé) protégée par papier cristal, 19cm., quelques rousseurs, bon état, F80358
Paris, Librairie philosophique J. Vrin, 1978, 15,5 x 24, 320 pages cousues sous couverture souple imprimée. Traduit de l'allemand par J. gibelin.
Etat d'usage. Cachets de bibliothèque. Intérieur bien propre.
Paris, Presses Universitaires de France, "Bibliothèque de philosophie contemporaine", 1968, 13,5 x 22, 244 pages cousues sous couverture imprimée. En frontispice, portrait photographique de Jacques Herbrand. Préface de Jean van Heijenoort. Notice bibliographique par Claude Chevalley et Albert Lautmann. Ainsi qu'une note sur la pensée de Herbrand par Claude Chevalley.
Petit accroc à la quatrième de couverture.
Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état
Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., dédicacé par les deux auteurs, pour la plupart non coupé, couv.peu usée, bon état
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
Reference : 46101
(1928)
Berlin, Springer, 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away, no loss of letters. VIII,120 pp.
First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever.
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
Reference : 49908
(1928)
Berlin, Springer, 1928. 8vo. Uncut in orig. printed wrappers. VIII,120. With the name of Bent Schultzer (Former Danish professor in philosophy) on first leaf. Internally clean.
First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever.
Dordrecht et Boston, Reidel, 1969. 480 g In-8, reliure éditeur sous jaquette, vii-[1]-220 pp., [1] f.. Petites déchirures à la jacquette. . (Catégories : Mathématiques, Logique, Philosophie, )
Paris, Librairie Philosophique J. Vrin, 1998, in-8vo, 338 p., cartonnage original.
Phone number : 41 (0)26 3223808
Blackwell Publishers 1989 300 pages 14 986x2 032x22 86cm. 1989. Broché. 300 pages.
Très Bon Etat de conservation intérieur propre bonne tenue
P., Delagrave, 1924, in 8° relié pleine percaline verte de l'éditeur, 268 pages.
PHOTOS SUR DEMANDE. ...................... Photos sur demande ..........................
Phone number : 04 77 32 63 69
Leiden, 2003 235pp. + 2pp. theses, 27cm., text in English, Doctoral Dissertation (Universiteit Leiden, the Netherlands), softcover, stamp at verso of title page, text is clean and bright, good condition, F113242
In-8 broché, H. Saggiatore, coll. "Theoria 5", 1983, XXVI + 436 pp. Un peu frotté et écorné, dos ridé. Usure d’usage, bon exemplaire de lecture. Poids 500 g. Envoi lettre verte. Frais d'envoi 7,70 euros sur la France, 26,50 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY ou "LIVRES ET BROCHURES", n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.
PUF. 1995. In-8. Broché. Etat d'usage, Coins frottés, Dos plié, Intérieur frais. 586 pages - couverture orange contre-pliée - annotations à l'encre sur la page de titre.. . . . Classification Dewey : 160-Logique
Classification Dewey : 160-Logique
Presses Universitaires de France. 1972-1974. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XX+304 pages + 392 pages + 322 pages.. . . . Classification Dewey : 160-Logique
Tome 1 + Tome 2 2eme partie + Tome 3 - 3 volumes - Tome 1 : Prolégomènes à la logique pure - Tome 2 2eme partie : recherches opur la phénoménologie et la théorie de la connaissance, recherches III,IV et V - Tome 3 : éléments d'une élucidation phénoménologique de la connaisance, recherche VI - Traduit de l'allemand par Hubert Elie, Arion L.Kelkel et René Schérer - Collection épiméthée, essais philosophiques - Tome 1, 2e édition. Classification Dewey : 160-Logique
Routledge 1998 244 pages 15 75x2 29x23 62cm. 1998. Cartonné. 244 pages.
Très bon état
Gerald Duckworth & Co Ltd 1972 176 pages 13 208x1 524x21 336cm. 1972. Broché. 176 pages.
Bon état couverture un peu défraîchie intérieur propre bonne tenue
Ivaner T., Petitdemange G., De Saint-Ours A.
Reference : R200111110
(1999)
ISBN : 2706814020
Maisonneuve et Larose. 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 267 pages. Quelques graphiques en noir et blanc, dans le texte.. . . . Classification Dewey : 160-Logique
Préface de André Jacob. Ivaner Théodore, Petitdemange Guy, De Saint-Ours Alexis, Wavelet Jean-Michel. Classification Dewey : 160-Logique
Editions Gallimard, NRF, coll. « Bibliothèque des Sciences Humaines » 1970 In-8 broché 22 cm sur 14. 354 pages. Bon état d’occasion, dos insolé et couverture salie. Edition de 1970 ou 1971 suivant disponibilité.
Bon état d’occasion
Gallimard , 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.
Bon état d’occasion
VENETIIS TYPIS ANTONII ZATTAE ET FIOLIORUM 1789
In 8. Dim. 21x13,5 cm. Pp. (4)+127, 222, (6)+168. Edizione del 1789 di questa interessante opera di filosofia scritta da Jacopo Facciolati (1682-1769) nato a Torreglia e morto a Padova, sacerdote, filologo, latinista e filosofo. Facciolati venne ordinato sacerdote nel 1704 e conseguì la laurea nello stesso anno. Insegnò logica all'Università di Padova. L'opera sono una serie di istituzioni di logica. Tra gli argomenti trattati: logica, verità del segno, divisione, enunciazione, raziocinio, sillogismo, metodo, predicabilia, predicamenti, analitiche, topiche, sofistica, acroasio, lettere ecc... Alcune figure all'interno. Purtroppo risultano mancanti le pagine dalla 6 alla 13 del tomo secondo. In discrete condizioni, in barbe. Copertina morbida coeva in mediocri condizioni generali con usure e parti mancanti ai margini e dorso. Dorso in parte staccato. Legatura in discrete condizioni con rotture. All'interno le pagine si presentano in buone condizioni con fioriture. Mende. Qualche lieve gora d'umidità marginale. Usure al margine inferiore delle prime otto pagine. Edition of 1789 of this interesting work of phylosophy written by Jacopo Facciolati (1682-1769) priest, phylologist, latinist and phylosopher. Facciolati was ordinated priest in 1704 and obtained the degree the same year. He teached logic in the university of Padoa. The work are a series of institutions of logics. Between the issues treated: logics, truth of sign, division, enunciation, sillogism, method, predicabilia, predicaments, analitics, topics, sophystics, acroasio, letters ecc... Some illustrations inside. Unfortunately pages from 6 until 13 of the second tome are missing. In fair conditions, uncut copy. Soft coeval cover in poor general conditions with wearings and missing parts in the edges and spine. Spine is partially detached. Binding in fair conditions with cracks. Inside pages are in good conditions with foxings. Usage signs. Some slight humidity signs in the edges. WEarings in the lower edge of the first 8 pages.
Presses 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
Collection philosophie d'aujourd'hui. Classification Dewey : 160-Logique