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 results

Filter
Select: All / None
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.
Call n° : 00004205

03A05 ; 03B30

Location : Colloque 1er étage (JERU)

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

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


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

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

Location : Colloque 1er étage (MANC)

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

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

Ouvrage

- 273 p.
Call n° : 00010797
logique mathématiques # logique symbolique

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

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

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

Ouvrage

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

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

Location : Collection 1er étage

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

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

Ouvrage

- 493 p.
Call n° : 00012736
logique classique

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

Location : Ouvrage RdC (Hand)

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 fondements logiques des mathématiques Beth, E. W. | Gauthier-Villars 1950

Ouvrage

- 241 p.
Call n° : 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

Location : Ouvrage RdC (BETH)

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 fondements logiques des mathématiques Beth, E. W. | Gauthier-Villars 1955

Ouvrage

- 241 p.
Call n° : 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

Location : Ouvrage RdC (BETH)

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

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

Ouvrage

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

03-03 ; 03B30 ; 51-03

Location : Ouvrage RdC (CAVA)

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

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.
Call n° : 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

Location : Oeuvres complètes RdC (GODE)

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

Grundzüge der theoretischen logik Hilbert, D. ; Ackermann, W. | Springer-Verlag 1967

Ouvrage

- 188 p.
Call n° : 00001586
calcul des prédicats # calcul logique de classe # fondement de la logique

03-03 ; 03B30 ; 03Bxx

Location : Collection 1er étage

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

J More

Language