Votre recherche a retourné 125 résultats.

Trier
Ne plus surligner Surligner
Tout sélectionner Tout désélectionner
Documents sélectionnés :
Résultats
1.
Preuves et réfutations : essai sur la logique de la découverte mathématique / Lakatos, Imre ; textes présentés par John Worall et Élie Zahar ; trad. de Nicolas Balacheff et Jean-Marie Laborde.Publication : Paris : Hermann, 1984Description : xxiv, 218 p. ; 24 cm.Disponibilité :

Réserver Ajouter au panier
2.
Logique moderne - fascicule III : implications-modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Lesniewski / Grize, Jean-Blaise, 3Publication : [Paris] : Mouton, Gauthier-Villars, 1973Description : 104 p. ; 23 cmDisponibilité : Exemplaires empruntables: Cote : 05 GRI 73 (1).

Réserver Ajouter au panier
3.
Le Labyrinthe du continu : colloque de Cerisy / Salanskis, J.-M., Sinaceur, H. (ed.)Publication : Paris : Berlin : New York NY : Springer, 1992Description : xi, 452 p. ; 24 cm.Disponibilité :

Réserver Ajouter au panier
4.
Initiation au raisonnement mathématique : logique et théorie des ensembles / Dupin, J.-C., Valein, J.-L.Publication : Paris : Armand Colin, 1993Description : 143 p. ; 21 cmDisponibilité : Exemplaires empruntables: Cote : 03.5 DUP 93 (1).

Réserver Ajouter au panier
5.
Penser les mathématiques / Séminaire de philosophie et mathématiques de l'École normale supérieure ; [sous la direction de] J. Dieudonné, M. Loi, R. Thom ; textes préparés et annotés par François Guénard et Gilbert Lelièvre.Publication : Paris : Éditions du Seuil, 1982.Description : 273 p. ; 18 cm.Disponibilité : Exemplaires empruntables: Cote : 02.1 PEN 82 (1).

Réserver Ajouter au panier
6.
Récursivité / par Jean-Pierre Azra et Bernard Jaulin ; préface de Daniel LacombePublication : Paris : Bruxelles : Montréal : Gauthier-Villars, 1973Description : 1 vol. (XVIII-218 p.) ; 27 cmDisponibilité : Exemplaires empruntables: Cote : 05 AZR 73 (1).

Réserver Ajouter au panier
7.
Models and ultraproducts : an introduction.Publication : Amsterdam : London : North-Holland, 1969.Description : X-322 p. ; 23 cm.Disponibilité : Exemplaires empruntables: Cote : 05 BEL 69 c (2).

Réserver Ajouter au panier
8.
Formal methods : an introduction to symbolic logic and the study of effective operations in arithmetic and logic.Publication : Dordrecht : Reidel, 1962.Description : xiv-170 p. ; 22 cm.Disponibilité : Exemplaires empruntables: Cote : 05 BET (1).

Réserver Ajouter au panier
9.
Treatise on basic philosophy, Sense and reference / Mario BungePublication : Dordrecht : D. Reidel, 1974Description : XV314 p ; 23 cmDisponibilité : Exemplaires empruntables: Cote : 05 BUN 74 (1).

Réserver Ajouter au panier
10.
Treatise on basic philosophy, interpretation and truth / Mario BungePublication : Dordrecht : D. Reidel, 1974Description : 210 p ; 23 cmDisponibilité : Exemplaires empruntables: Cote : 05 BUN 74 (1).

Réserver Ajouter au panier
11.
Eléments de logique classique, L'art de raisonner / François CheniquePublication : Paris : Dunod, 1975Description : 1 vol. (XXIV-364 p.) ; 24 cmDisponibilité : Exemplaires en consultation sur place : Exclu du prêtCote : 05 CHE 75-2 (1). :

Ajouter au panier
12.
Introduction to mathematical logic.Publication : Princeton NJ : Toronto : London : Van Nostrand, 19656Description : 378 p. ; 24 cmDisponibilité : Exemplaires empruntables: Cote : 05 CHU 56 a (3). Exemplaires en consultation sur place : Exclu du prêtCote : 05 CHU 56 (1).

Réserver Ajouter au panier
13.
Computability and unsolvability.Publication : New York NY : Toronto : London : McGraw-Hill, 1958.Description : XXVI-210 p. ; 24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 DAV 58 a (3). Exemplaires en consultation sur place : Exclu du prêtCote : 05 DAV 58 (1).

Réserver Ajouter au panier
14.
l'apprentissage de la logique : fiches de travailPublication : Paris : O.C.D.L., 1966Description : 52 p. ; 26 cmDisponibilité : Exemplaires en consultation sur place : Exclu du prêtCote : 05 DIE 66 (1). :

Ajouter au panier
15.
Dictionary of symbols of mathematical logic / ed. by Robert Feys and Frederic B. FitchPublication : Amsterdam : North-Holland publishing company, 1973Description : XIV, 171 p ; 23 cmDisponibilité : Exemplaires empruntables: Cote : 05 FEY 69 (2).

Réserver Ajouter au panier
16.
The Concept and the role of the model in mathematics and natural and social sciences : proceedings of the colloquium... organized at Utrecht, January 1960.Publication : Dordrecht : New York NY : D. Reidel, Gordon and Breach, 1961.Description : [VI]-194 p. ; 23 cm.Disponibilité : Exemplaires empruntables: Cote : 05 FRE 61 (1).

Réserver Ajouter au panier
17.
The Language of logicPublication : Amsterdam : London : New York NY : Elsevier, 1966.Description : VI-105 p. ; 23 cm.Disponibilité : Exemplaires empruntables: Cote : 05 FRE 66 (2).

Réserver Ajouter au panier
18.
(La) logique à l'école / M. Glaymann, P. C. RosenbloomPublication : Paris : Lyon : Cedic, copDescription : 1 vol. (89 p.) ; 20 cmDisponibilité : Exemplaires empruntables: Cote : 05 GLA 72 (3). Exemplaires en consultation sur place : Exclu du prêtCote : 05 GLA (1).

Réserver Ajouter au panier
19.
Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel / ed. by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. HahnPublication : Berlin : Heidelberg : New York : Springer, 1969Description : 1 vol. (XII-195 p.) ; 24 cmDisponibilité : Exemplaires empruntables: Cote : 05 GOD 69 a (1). Exemplaires en consultation sur place : Exclu du prêtCote : 05 GOD 69 (1).

Réserver Ajouter au panier
20.
Fonctions récursives.Publication : Paris : Louvain : Gauthier-Villars, Nauwelaerts, 1961.Description : 100 p. ; 24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 GRZ 61 b (2).

Réserver Ajouter au panier
Pages

Propulsé par Koha