En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Louvain E. Nauwelaerts 4 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction à la logique Tarski, Alfred ; Tremblay, Jacques S. J. | Gauthier-Villars ; Louvain E. Nauwelaerts 1960

Ouvrage

- 246 p.
Call n° : 00003938
calcul des propositions # logique mathématique # méthode déductive # méthodologie # théorie des relations

03B05 ; 03B80 ; 03F55 ; 03F65

Location : Disparu;Ouvrage RdC (TARS)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les systèmes axiomatiques de la théorie des ensembles Wang, Hao ; Naughton, Robert | Gauthier-Villars ; Louvain E. Nauwelaerts 1953

Ouvrage

- 54 p.
Call n° : 00003937
Von Neumann-Bernays # Zermelo # force des systèmes # système axiomatique # théorie des ensembles # théorie des types

04-02 ; 04A03 ; 04A10 ; 04A15 ; 04A30

Location : Ouvrage RdC (WANG)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Aximatique intuitionniste sans négation de la géométrie projective Dequoy, N. | Gauthier-Villars ; Louvain E. Nauwelaerts 1955

Ouvrage

- 108 p.
Call n° : 00025458
géométrie descriptive # axiomatique # ordre # intuitionisme # logique # géométrie analytique # géométrie plane # géométrie de l'espace

51-01 ; 51-03 ; 51N15 ; 51E15 ; 03A30 ; 51Nxx

Location : Ouvrage RdC (DEQU)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications#Sept. 11-15 Kalmar, Laszlo | Gauthier-Villars et Cie. ; Louvain E. Nauwelaerts 1965

Congrès

- 317 p.
Call n° : 00027498
fondement des mathématiques # machine # linguistique # logique # économie # ordinateur

00B25 ; 03-06 ; 68-06

Location : Colloque 1er étage (TIHA)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

Language