Résultats
|
|
21.
|
|
|
|
22.
|
Logique moderne, Logique des propositions et des prédicats. Déduction naturelle. Publication : Paris : Mouton, Gauthier-Villars, 1969.Description : IV-90 p. ;
23 x 15 cm.Disponibilité : Exemplaires empruntables: Cote : 05 GRI 69 (2).
|
|
|
23.
|
Logique moderne, Implications-modalité logique polyvalentes logique combinatoire ontologie et météologie de Lésniewski Publication : Paris : Mouton, Gauthier-Villars, 1971.Description : IV-79 p. ;
23 x 15 cm.Disponibilité : Exemplaires empruntables: Cote : 05 GRI 73 (1).
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
Mathematical logic.Publication : New York NY : London : Sydney : J. Wiley, 1967.Description : XIII-398 p. ;
24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 KLE 67 b (2).
|
|
|
27.
|
Eléments de logique mathématique : théorie des modèles / G. Kreisel, J.-L. Krivine. Publication : Paris : Dunod, 1967.Description : VIII-214 p. ;
25 cm.Disponibilité : Exemplaires en consultation sur place : Exclu du prêtCote : 05 KRE 67 b (1). :
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
Métamathématique / Trad. de l'allemand par J. B. Grize. Publication : Paris : La Haye : Mouton, Paris : Gauthier-Villars, 1967.Description : 167 p. ;
23 x 15 cm.Disponibilité : Exemplaires empruntables: Cote : 05 LOR 67 (1).
|
|
|
31.
|
|
|
|
32.
|
Introduction to mathematical logic.Publication : Princeton NJ : Toronto : London : Van Nostrand, 1964.Description : X-300 p. ;
24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 MEN 64 d (2). Exemplaires en consultation sur place : Exclu du prêtCote : 05 MEN 64 (1).
|
|
|
33.
|
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel. Publication : Amsterdam : North-Holland, 1952.Description : VIII-117 p. ;
22 cm.Disponibilité : Exemplaires empruntables: Cote : 05 MOS 64 a (1). Exemplaires en consultation sur place : Exclu du prêtCote : 05 MOS 64 (1).
|
|
|
34.
|
|
|
|
35.
|
Modèles finisPublication : Lyon-Paris : CEDIC, 1973Description : 160 p. ;
20 cmDisponibilité : Exemplaires empruntables: Cote : 05 MYX 73 (4).
|
|
|
36.
|
|
|
|
37.
|
Essai de logique opÃratoire / par Jean Piaget,... 2e édition du «Traité de logique, essai de logistique opératoire»... établie par Jean-Blaise Grize,... Avec une introduction de l'auteur à la 2e édition. Publication : Paris : Dunod, 1972.Description : XVI-400 p., ill. ;
22 cm.Disponibilité : Exemplaires empruntables: Cote : 05 PIA 72 (1).
|
|
|
38.
|
logique mathematiquePublication : Paris : O.C.D.L., 1967Description : 163 p. ;
21 cmDisponibilité : Exemplaires empruntables: Cote : 05 PN 67 b (1).
|
|
|
39.
|
|
|
|
40.
|
Méthodes de logique / Willard V. O. Quine ; traduction de [la 3e éd. américaine par] Maurice Clavelin. Publication : Paris : A. Colin, 1973.Description : 295 p. ;
23 cm.Disponibilité : Exemplaires empruntables: Cote : 05 QUI 72 (1).
|