|
|
|
|
| LEADER |
01072nam a2200205 a 4500 |
| 008 |
170217s1969 fr ||||| |||| 00| 0 fre d |
| 999 |
|
|
|c 46796
|d 46796
|
| 040 |
|
|
|a UCES ARGENTINA
|c UCES
|
| 082 |
|
|
|a 100
|
| 100 |
1 |
|
|9 45797
|a Badion, Alain
|
| 245 |
1 |
|
|a La Formalisation /
|c Alain Badion
|
| 260 |
|
|
|a Paris :
|b Bussiere,
|c 1969.
|
| 300 |
|
|
|a 207 p.
|
| 490 |
|
|
|a Cahiers pour l'Analyse
|v 10
|
| 505 |
|
|
|a Jacque Brunschwig : La proposition particuliere chez Aristoté -- Boole : L'analyse mathématique de la logique -- Cantor : Fondements d'une mthéorie des types logiques -- Bertrand Russell : La théorie des types logiques -- Kurt Gödel : La logique mathématique de Russell -- Jean Ladriere : Le théoreme de Löwenheim-Skolem -- Robert Blanché : Sur le susteme des connecteurs interpropositionnels -- Alain Badiou, Marque et Manque : a propos du zéro -- Jacques Bouveresse : Philosophie des mathématiques
|
| 650 |
|
4 |
|9 116
|a FILOSOFIA
|
| 650 |
|
4 |
|9 17693
|a Análisis filosófico
|
| 650 |
|
4 |
|9 1551
|a EPISTEMOLOGIA
|
| 830 |
1 |
|
|9 45798
|a Cahiers pour l'Analyse
|
| 942 |
|
|
|2 ddc
|c LIB
|