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 03B30 36 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic,methodology and philosophy of science :
proceedings for... held at the hebrew university of jerusalem#Aug. 26 - Sept. 4 Bar-Hillel, Yehoshua | North-Holland Publishing Co. 1972

Congrès

- 440 p.
Cote : 00004205

03A05 ; 03B30

Localisation : Colloque 1er étage (JERU)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic colloquium '84
proceedings of the colloquium held in manchester,u.k.,july 15-24,1984 Paris, J. B. ; Wilkie, A. J. ; Wilmers, J. M. | North-Holland 1985

Congrès


Cote : 00010134
axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles

03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10

Localisation : Colloque 1er étage (MANC)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Popular lectures on mathematical logic Wang, Hao | Beijing ; Science Press ; Van Nostrand N.Y. 1981

Ouvrage

- 273 p.
Cote : 00010797
logique mathématiques # logique symbolique

03B15 ; 03B30 ; 03B65 ; 68A40 ; 03-XX

Localisation : Ouvrage RdC (WANG)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

A formalization of set theory without variables Tarski, Alfred ; Givant, Steven | American Mathematical Society 1987

Ouvrage

- 318 p.
Cote : 00012022
logique # logique mathématique # logique symbolique # théorie d'ensembles

03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Handbook of philosophical logic. Vol. I :
elements of classical logic Gabbay, D. ; Guenthner, F. | D. Reidel Publishing Company 1983

Ouvrage

- 493 p.
Cote : 00012736
logique classique

03-XX ; 03B05 ; 03B30 ; 03B48

Localisation : Ouvrage RdC (Hand)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les fondements logiques des mathématiques Beth, E. W. | Gauthier-Villars 1950

Ouvrage

- 241 p.
Cote : 00003931
aximatique # démonstrat ion de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

Localisation : Ouvrage RdC (BETH)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les fondements logiques des mathématiques Beth, E. W. | Gauthier-Villars 1955

Ouvrage

- 241 p.
Cote : 00003934
aximatique # démonstration de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

Localisation : Ouvrage RdC (BETH)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Les structures fondamentales de l'analyse première partie
Livre I théorie des ensembles chapitre I et II
description de la mathématique formelle, théorie des ensembles Bourbaki, N. | Hermann & Cie. 1954

Ouvrage


Cote : 00002315
correspondance # couple # intersection d'ensemble # mathématique formelle # produit d'une famille # relation # relation collectivi sante # relation d'équivalence # réunion # terme # th éorie quantifiée # théorie des ensembles # théorie logique # théorie égalitaire # théorème

03B30 ; 03Exx ; 04-XX ; 04A05

Localisation : Réserve

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Méthode axiomatique et formalisme. Fasc. I :
le problème du fondement des mathématiques Cavailles, Jean | Hermann & Cie. 1938

Ouvrage

- 82 p.
Cote : 00003793
axiomatisation # fondement des mathématiques # formalisation # théorie des ensembles

03-03 ; 03B30 ; 51-03

Localisation : Ouvrage RdC (CAVA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Kurt Gödel collected works. Vol. II
publications 1938-1974 Godel, Kurt ; Dawson, John W. ; Feferman, Solomon ; Kleene, Stephen C. | Oxford University Press 1990

Ouvrage

- 407 p.
Cote : 00015941
Godel # axiome # finitude # fondement des mathématiques # hypothèse du continu # logique mathématique # oeuvres complètes # philosophie des mathématiques # épistémologie

00A30 ; 00A35 ; 03A05 ; 03B30 ; 03E50

Localisation : Oeuvres complètes RdC (GODE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue