Résultats
|
|
41.
|
Elementary logic / Willard van Orman Quine,... Publication : New York : Harper & Row, 1965.Description : X-129 p. ;
20 cm.Disponibilité : Exemplaires en consultation sur place : Exclu du prêtCote : 05 QUI 64 (1). :
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
|
|
|
45.
|
Logic for mathematicians.Publication : New York NY : Toronto : London : McGraw-Hill, 1953.Description : XIV-530 p. ;
24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 ROS 53 a (3). Exemplaires en consultation sur place : Exclu du prêtCote : 05 ROS 53 (1).
|
|
|
46.
|
Beweistheorie.Publication : Berlin : Springer, 1960.Description : XII-355 p. ;
24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 SCH 60 a (2). Exemplaires en consultation sur place : Exclu du prêtCote : 05 SCH 60 (1).
|
|
|
47.
|
mathematical logicPublication : Massachusetts California London : Addison-Wesley, 1967Description : 344 p. ;
25 cmDisponibilité : Exemplaires empruntables: Cote : 05 SHO 67 (2).
|
|
|
48.
|
Exercises in set theory.Publication : Princeton NJ : Toronto : London : Van Nostrand, 1966.Description : VI-134 p. ;
20 cm.Disponibilité : Exemplaires empruntables: Cote : 05 SIG 66 (2).
|
|
|
49.
|
First-order logic.Publication : Berlin : New York NY : Springer, 1968.Description : XII-158 p. ;
24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 SMU 68 b (1). Exemplaires en consultation sur place : Exclu du prêtCote : 05 SMU 68 (1).
|
|
|
50.
|
Introduction to logic.Publication : Princeton NJ : Toronto : London : Van Nostrand, 1957.Description : XVIII-312 p. ;
24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 SUP 64 b (1).
|
|
|
51.
|
|
|
|
52.
|
|
|
|
53.
|
Axiomatic set theory.Publication : New York NY : Berlin : Springer, 1973.Description : VI-238 p. ;
24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 TAK (1). Exemplaires en consultation sur place : Exclu du prêtCote : 05 TAK (1).
|
|
|
54.
|
Introduction to axiomatic set theory.Publication : New York NY : Berlin : Springer, 1971.Description : VIII-250 p. ;
24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 TAK 70 (1). Exemplaires en consultation sur place : Exclu du prêtCote : 05 TAK (1).
|
|
|
55.
|
|
|
|
56.
|
|
|
|
57.
|
Algorithmes et machines à calculer / par B. A. Trahtenbrot ; Traduit par A. Chauvin. Publication : Paris : Dunod, 1963.Description : XII-149 p. ;
17 cm.Disponibilité : Exemplaires en consultation sur place : Exclu du prêtCote : 05 TRA 63 (1). :
|
|
|
58.
|
What is truth? / C.J.F. Williams Publication : Cambridge, Eng. : New York : Cambridge University Press, cop. 1976Description : 1 vol. (xvi, 102 p.) ;
23 cmDisponibilité : Exemplaires empruntables: Cote : 05 WIL 76 (1).
|
|
|
59.
|
|
|
|
60.
|
|