著者
書誌事項
Collection de logique mathématique
Gauthier-Villars , E. Nauwelaerts
この図書・雑誌をさがす
関連文献： 33件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- Récursivité et constructibilité
-
Roland Fraïssé
Gauthier-Villars 1975 Collection de logique mathématique série A- no. 25 .Cours de logique mathématique ; tom. 3
所蔵館3館
-
2
- Théorie des modèles
-
Roland Fraïssé
Gauthier-Villars 1972 2e éd. Collection de logique mathématique série A- no. 24 . Cours de logique mathématique ; tom. 2
所蔵館4館
-
3
- Relation et formule logique
-
Roland Fraïssé
Gauthier-Villars 1971 2e éd. Collection de logique mathématique série A- no. 23 . Cours de logique mathématique ; t. 1
所蔵館7館
-
4
- Introduction a la logique
-
Alfred Tarski
Gauthier-Villars Louvain, E. Nauwelaerts 1969 2e edition / revue et augmentée Traduit de l'anglais, par Jacques Tremblay Collection de logique mathématique series A No. 16
所蔵館6館
-
5
- Relation, formule logique, compacité, complétude
-
Roland Fraïsse
Gauthier-Villars , E. Nauwelaerts c1967 Collection de logique mathématique série A,
no. 23 . Cours de logique mathématique ; tom. 1 所蔵館9館
-
6
- Sur les algèbres de Hilbert
-
par Antonio Diego
Gauthier-Villars 1966 Collection de logique mathématique série A
所蔵館16館
-
7
- La philosophie des mathématiques de Henri Poincaré
-
by J. J. A. Mooij
Gauthier-Villars 1966 Collection de logique mathématique Série A,
20 所蔵館30館
-
8
- Les fonctions combinatoires et les isols
-
par J. C. E. Dekker
Gauthier-Villars , E. Nauwelaerts 1966 Collection de logique mathématique Série A. No. 22
所蔵館13館
-
9
- Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications ; Tihany, 11-15 Septembre 1962
-
[éditeur László Kalmár]
Gauthier-Villars , E. Nauwelaerts 1965 Collection de logique mathématique Sér. A ; 19
所蔵館13館
-
10
- Modal logics
-
Robert Feys ; ed. with some complements by Joseph Dopp
Nauwelaerts , Gauthier-Villars 1965 Collection de logique mathématique Sér. B. 4
所蔵館25館
-
11
- Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs
-
par Jean Porte
Gauthier-Villars , E. Nauwelaerts c1965 Collection de logique mathématique Sér. A ; no. 18
所蔵館20館
-
12
- Logiques construites par une méthode de déduction naturelle
-
par J. Dopp
E. Nauwelaerts , Gauthier-Villars 1962 Collection de logique mathématique sér. B ; 3
所蔵館14館
-
13
- Fonctions recursives
-
Andrzej Grzegorczyk
Gauthier-Villars , E. Nauwelaerts 1961 Collection de logique mathématique Série A,
17 所蔵館13館
-
14
- Introduction à la logique
-
par Alfred Tarski ; traduit de l'anglais par Jacques Tremblay
Gauthier-Villars 1960 Collection de logique mathématique sér. A,
16 所蔵館8館
-
15
- Les structures de commutation à m valeurs et les calculatrices numériques
-
M. Midhat J. Gazalé
Gauthier-Villars 1959 Collection de logique mathématique Série A,
15 所蔵館1館
-
16
- Les structures de commutation a m valeurs et les calculatrices numériques
-
par Midhat J. Gazalé
Gauthier-Villars , E. Nauwelaerts 1959 Collection de logique mathématique série A ; 15
所蔵館16館
-
17
- Logique mathématique appliquée
-
par H. Freudenthal
Gauthier-Villars 1958 Collection de logique mathématique ser. A . Monographies réunis / par P. Février ; 14
所蔵館15館
-
18
- La crise de la raison et la logique : conférences, faites à l'Université de Liège dans le cadre des échanges culturels belgo-néerlandais au mois de mai 1956
-
par E.W. Beth
Gauthier-Villars , Nauwelaerts 1957 Collection de logique mathématique sér. A ; 12
所蔵館15館
-
19
- Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
-
par Jean Ladrière
Gauthier-Villars 1957 Collection de logique mathématique sér. B ; 2
所蔵館17館
-
20
- Initiation à la logique
-
par Le R.P. Dubarle
Gauthier-Villars , E. Nauwelaerts 1957 Collection de logique mathématique sér. A ; 13
所蔵館13館
- 1
- 2
- 1 / 2
