‎Logique - Tome 2 : Méthodes formelles pour l'étude des programmes‎

‎Hermès , Logique, Raisonnement, Calcul Malicorne sur Sarthe, 72, Pays de la Loire, France 1994 Book condition, Etat : Très Bon relié, cartonnage éditeur imprimé gris pale et violet, titre en violet grand In-8 1 vol. - 351 pages‎

‎ 1ere édition, 1994 Contents, Chapitres : Introduction historique et philosophique à la théorie des ensembles - Théorie des ensembles - Logique pour programmes séquentiels - Logique pour programmes parallèles - Théorie du point fixe - Bibliographie et index bel exemplaire, frais et propre - tome 2 seul de cette série qui en compte 2, complet en lui-même‎

‎The Incompleteness Phenomenon - A New Course in Mathematical Logic‎

‎A.K. Peters Malicorne sur Sarthe, 72, Pays de la Loire, France 1998 Book condition, Etat : Très Bon paperback, editor's printed wrappers In-8 1 vol. - 260 pages‎

‎ Contents, Chapitres : Contents, Foreword, Introduction, xiii, Text, 247 pages - 1. The framework of logic : Induction - Semantic logic - First order logic - Proof systems - 2. Completeness : Enumerability - The completeness theorem - Nonstandard models of arithmetic - 3. Model theory : Elementary substructures and chains - Ultraproducts and compactness - Types and countable models - 4. The incompleteness theorem : The language of Peano arithmetic - The axioms of Peano arithmetic - Basic theorems of number theory in PA - Econding finite sequences of numbers - Gödel numbers - Substitution - The incompleteness theorem - Other axiom systems - Bounded formulas - A finer analysis of 4.4 and 4.5 - More on recursive sets and functions Near fine copy, no markings‎

‎The Incompleteness Phenomenon: A New Course in Mathematical Logic‎

‎A K Peters/CRC Press 1998 264 pages 15 24x1 78x22 61cm. 1998. Broché. 264 pages.‎

‎proche du neuf ex-libris légères ternissures sur la tranche‎

‎Calcul formel : Mode d'emploi - Exemples en Maple , dans la collection Logique, Mathématiques, Informatique‎

‎Masson , Logique, Mathématiques, Informatique Malicorne sur Sarthe, 72, Pays de la Loire, France 1995 Book condition, Etat : Bon broché, sous couverture imprimée éditeur violet et blanc grand In-8 1 vol. - 339 pages‎

‎ édition de 1995 Contents, Chapitres : Avant-propos, Table, xii, Texte, 327 pages - 1. Synthèse de calcul formel : Mode d'emploi : Prise en main du système, classes d'expressions et simplification - Utilisation avancée, primitives du langage de programmation, manipulation d'expressions, approfondissement d'un système - 2. Domaines d'utilisation et applications : Courbes et surfaces - Arithmétique et combinatoire - Calcul matriciel - Polynomes et fractions rationnelles - Suites réelles - Séries et développements asymptotiques - Intégrales et primitives - Calcul différentiel - Calculs en probabilité - Calcul formel et calcul numérique - 3. Annexes : Une session Mathematica - Autour du calcul formel - Index des systèmes actuels - Bibliographie et index legeres traces de pliures aux coins des plats de la couverture qui est à peine jaunie, intérieur frais et propre, une note à l'encre sur la premiere page, une date à l'intérieur du plat supérieur, coins inférieurs à peine cornés en début et fin d'ouvrage, cela reste un bon exemplaire, sans le fascicule Maple de 15 pages‎

‎Calcul formel : Mode d'emploi - Exemples en Maple avec le livret de mise à jour Maple , dans la collection Logique, Mathématiques, Informatique‎

‎Masson , Logique, Mathématiques, Informatique Malicorne sur Sarthe, 72, Pays de la Loire, France 1995 Book condition, Etat : Bon broché, sous couverture imprimée éditeur violet et blanc grand In-8 1 vol. - 339 pages‎

‎ 2eme tirage de la première édition, 1995 Contents, Chapitres : Avant-propos, Table, xii, Texte, 327 pages - 1. Synthèse de calcul formel : Mode d'emploi : Prise en main du système, classes d'expressions et simplification - Utilisation avancée, primitives du langage de programmation, manipulation d'expressions, approfondissement d'un système - 2. Domaines d'utilisation et applications : Courbes et surfaces - Arithmétique et combinatoire - Calcul matriciel - Polynomes et fractions rationnelles - Suites réelles - Séries et développements asymptotiques - Intégrales et primitives - Calcul différentiel - Calculs en probabilité - Calcul formel et calcul numérique - 3. Annexes : Une session Mathematica - Autour du calcul formel - Index des systèmes actuels - Bibliographie et index couverture à peine jaunie, avec une legere trace de pliure au coin inférieur droit du plat supérieur, intérieur sinon frais et propre, coin inférieur des pages à peine corné sans gravité, on joint le fascicule de mise à jour de Maple de 15 pages‎

‎La logique de l'écriture : aux origines des sociétés humaines.‎

‎ Colin Edmond Colin, 1986 197 p., broché, bord supérieur du premier plat frotté, des traits au crayon de papier dans la marge de quelques pages, bon état pour le reste.‎

‎qsd*yurév Merci de nous contacter à l'avance si vous souhaitez consulter une référence au sein de notre librairie.‎

‎Lógica‎

‎Grijalbo 1960 in8. 1960. Cartonné jaquette. Lógica est un traité académique sur la logique formelle dirigé par D. P. Gorski et P. V. Tavants de l'Académie des Sciences de l'URSS. Il aborde les lois de la pensée les formes du raisonnement (concepts propositions) les méthodes de pensée correcte et couvre des sujets comme l'analogie l'hypothèse et la démonstration. Il s'agit d'une traduction directe du russe‎

‎livre en bon état intérieur propre jaquette défraîchie accroc petit manque en haut du premier plat‎

‎LES REGLES D'OR DE LA LECTURE RAPIDE. COLLECTION GUIDE MARABOUT N°77.‎

‎MARABOUT. 1989. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 224 pages.. . . . Classification Dewey : 160-Logique‎

‎OBJETIF: 100 000 MOTS A L'HEURE - EN RETENANT L'ESSENTIEL - LISEZ AVEC INTELLIGENCE DES YEUX - ANCTICIPEZ MEMORISEZ - DECUPLEZ VOTRE RENDEMENT - EMMAGASINEZ UN MAWIMUM D'INFORMATIONS EN UN MINIMUM DE TEMPS. Classification Dewey : 160-Logique‎

‎LES REGLES D'OR DE LA LECTURE RAPIDE / OBJETIF: 100 000 MOTS A L'HEURE - EN RETENANT L'ESSENTIEL - LISEZ AVEC INTELLIGENCE DES YEUX - ANCTICIPEZ MEMORISEZ - DECUPLEZ VOTRE RENDEMENT - EMMAGASINEZ UN MAWIMUM D'INFORMATIONS EN UN MINIMUM DE TEMPS.‎

‎MARABOUT. 1989. In-12. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 223 pages - 1er plat illustré d'une photo en couleurs.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Handschriftliche Forschungen und Funde zu den philosophischen Schriften des Petrus Hispanus, des späteren Papstes Johannes XXI (+ 1277)‎

‎München, Bayerischen Akademie der Wissenschaften 1936 137pp., in the series "Sitzungsberichte der Bayerischen Akademie der Wissenschaften" 1936 Heft 9,, 23cm., softcover (few loss of paper at lower end of spine), most pages are still uncut, good condition, F107689‎

‎LOGIQUE, TOME I‎

‎Charles Douniol - J. Lecoffre et Cie, Paris. 1868. In-12. Relié demi-cuir. Bon état, Couv. convenable, Dos à nerfs, Rousseurs. 560 pages. Auteur, titre, tomaison et fleurons dorés sur le dos. Etiquette de code sur la couverture. Quelques tampons de bibliothèque. Quelques annotations au crayon dans le texte. Fortes rousseurs.. . . . Classification Dewey : 160-Logique‎

‎5e édition, augmentée d'un Appendice polémique et d'une Intro. sur la théorie du procédé inductif. Classification Dewey : 160-Logique‎

‎Logique - tome second‎

‎Paris, Douniol/ Lecoffre 1858 Tome II seul: 468pp., 3e éd. (augmentée d'un appendice polémique et d'une introduction sur la théorie du procédé inductif), pour la plupart non coupé, br.orig. (dos orig.remplacé), cachet, intérieur en bon état, dans la série "Philosophi" vol.IV, F40691‎

‎Philosophie - Logique.‎

‎ 1855 Paris, Douniol, Lecoffre, 1855, 2 volumes in 8° reliés demi-chagrin bleu foncé, dos à nerfs ornés et dorés, XIX-415 et 423 pages ; cachets sur le titre. ‎

‎Bel exemplaire. ...................... Photos sur demande .......................... ‎

‎Les fondements de la logique symbolique - 2. Justification des calculs logiques , dans la série Logique et Méthodologie, exposés publiés sous la direction de Thomas Greenwood, n° 2, A.S.I. n° 593‎

‎Hermann et Cie , Actualités Scientifiques et Industrielles Malicorne sur Sarthe, 72, Pays de la Loire, France 1938 Book condition, Etat : Bon broché, sous couverture imprimée éditeur grand In-8 1 vol. - 80 pages‎

‎ 1ere traduction en français Contents, Chapitres : 1. Le développement de la logique symbolique : L'extension de la logique aristotélicienne - La nature du symbolisme opératoire - Logique opératoire et schématique - 2. Les principes des calculs logiques : Calcul des propositions - Fonctions propositionnelles et descriptions - Calcul des fonctions propositionnelles - Théorie et calcul des classes - Logique des relations quelques annotations manuscrites sur le plat inférieur de couverture, sinon bon etat, le papier est tres legerement jauni - tome 2 seul - Le tome 1 (absent) concerne la critique du nominalisme logistique‎

‎L'indecidabilité en mathématiques depuis les travaux de Gödel et de Cohin‎

‎Strasbourg, Université Louis Pasteur, 1975. 50 g In-8 broché, 18 pp., [2] ff.. De la collection Fundamenta Scientae, Cahiers du Séminaire sur les Fondements des Sciences. . (Catégories : Mathématiques, Logique, )‎

‎Pensée naturelle logique et langage. Hommage à Jean-Blaise Grize. ‘Université de Neuchâtel Faculté des Lettres’‎

‎Neuchâtel, Secrétariat de l’Université, 1987, gr. in-8vo, 300 p., brochure originale.‎

‎La contradiction - essai sur les opérations de la pensée‎

‎puf, 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.‎

‎ Bon état d’occasion ‎

‎La contradiction essai sur les opérations de la pensée.‎

‎ Broché, 21X13 cm, 1930, 206 pages, collection le psychologie, éditions PUF. Couverture avec de petites marques d'usage, bon état.‎

‎QCM DE LOGIQUE‎

‎STUDYRAMA 2e édition. NON DATE. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 136 pages.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Zarys arytmetyki teoretycznej‎

‎Panstwowe Wydawnictwo Naukowe, Warszawa , Biblioteka Mathematyczna Malicorne sur Sarthe, 72, Pays de la Loire, France 1971 Book condition, Etat : Bon hardcover, under dust-jacket grand In-8 1 vol. - 314 pages‎

‎ light odor of dampness‎

‎Logiques non monotones et intelligence artificielle - Collection Langue, Raisonnement, Calcul.‎

‎Hermes. 1990. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XIV+224 pages - petite étiquette collée sur le 2ème plat.. . . . Classification Dewey : 160-Logique‎

‎Collection Langue, Raisonnement, Calcul. Classification Dewey : 160-Logique‎

‎L'invention freudienne : Logiques et méthodes d'une découverte‎

‎Presses universitaires de Rennes cliniques psychologiques Broché 1994 In-8 (15.5 x 24 cm), broché, couverture illustrée en couleurs, 276 pages ; pliures au dos légèrement incurvé, bords des plats légèrement insolé, étiquette de prix au 4ème plat, bon état général. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.‎

‎Deviant logic. Some philosophical issues‎

‎Cambridge University Press 1975 191 pages 43x559x358cm. 1975. Relié. 191 pages.‎

‎Bon état avec sa jaquette intérieur propre bonne tenue‎

‎Logique des sciences sociales et autres essais - Collection philosophie d'aujourd'hui.‎

‎Presses Universitaires de France. 1987. In-8. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Intérieur frais. 459 pages - couverture contrepliée.. . . . Classification Dewey : 160-Logique‎

‎Collection philosophie d'aujourd'hui - Traduction de l'allemand avec un avant propos par Rainer Rochlitz. Classification Dewey : 160-Logique‎

‎L’ouverture au probable. Éléments de logique inductive.‎

‎paris, Armand Colin, 2004, in-8vo, 349 p., cartonnage original.‎