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 03-XX 80 results

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

Intuitionism :
an introduction Heyting, A. | North-Holland Publishing Co. 1971

Ouvrage

- 146 p.
Call n° : 00000181

00A30 ; 03-XX ; 03AXX

Location : Ouvrage RdC (HEYT)

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

Le point aveugle, cours de logique. Tome 1 :
Cours de logique vers la perfection Girard, Jean-Yves | Hermann 2006

Ouvrage

- 280 p.
Call n° : 00029551
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire

03-XX ; 03-99 ; 03A05

Location : Ouvrage RdC (GIRA)

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

Le point aveugle. Vol. II :
Cours de logique vers l'imperfection Girard, Jean-Yves | Hermann 2007

Ouvrage

- 567 p.
Call n° : 00029925
logique mathématique # théorie de la démonstration # épistémologie

03-XX ; 03A05

Location : Ouvrage RdC (GIRA)

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

The Kleene symposium
proceedings of the symposium held in University of Wisconsin
June 18-24 Barwise, Jon ; Keisler, H. J. ; Kunen, K. | North-Holland Publishing Co. 1980

Congrès


Call n° : 00000175
analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # problème de Post # réalisabilité de Kleene # récursion et induction monotone # structure de Frege # théorie de la preuve et analyse non standard # théorie du premier ordre[-]
analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # ...[+]

03-XX

Location : Colloque 1er étage (MADI)

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

International congress of mathematicians#Aug. 15-22 | Institut Mittag Leffler 1963

Congrès

- 595 p.
Call n° : 00002255
EDO # EDP # algèbre de Lie # algèbre et théorie des nombres # anaglyphique # analyse # analyse numérique # congrès international de mathématiciens # fluide de visqueux # fondement des mathématiques # géométrie algébrique # histoire des mathématiques # logique mathématique # mathématique appliquée # modèle de Ising # mécanique des milieux continus # nomographie # physique mathématique # probabilité et statistique # système de controle à relai # série de Fourier # topologie et géométrie différentielle # éducation[-]
EDO # EDP # algèbre de Lie # algèbre et théorie des nombres # anaglyphique # analyse # analyse numérique # congrès international de mathématiciens # fluide de visqueux # fondement des mathématiques # géométrie algébrique # histoire des mathématiques # logique mathématique # mathématique appliquée # modèle de Ising # mécanique des milieux continus # nomographie # physique mathématique # probabilité et statistique # système de controle à relai # ...[+]

00B25 ; 03-XX ; 60-XX ; 62-XX ; 65-XX

Location : Congrès internationaux 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

Stochastic processes-mathematics and physics :
workshop on... was held in the centro vacacional "la trinidad"#Aug. 15-19 Albeverio, Sergio ; Blanchard, Ph. ; Streit, L. | Springer-Verlag 1985

Congrès

- 189 p.
Call n° : 00009546

03-XX ; 22-XX ; 28-XX ; 31-XX ; 34Bxx

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

Algorithms in modern mathematics and computer science :
proceedings of a conference on... held in urgench#Sept. 16-22 Ershov, A. P. ; Knuth, D. E. | Springer-Verlag 1985

Congrès

- 431 p.
Call n° : 00010132
algorithme # algorithmique

01-XX ; 03-XX ; 68-06 ; 68-XX

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

A course in mathematical logic Bell, J. L. ; Machover, M. | North-Holland Publishing Co. 1977

Ouvrage

- 599 p.
Call n° : 00000176
logique mathématiques # logique symbolique

03-XX

Location : Ouvrage RdC (BELL)

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

An introduction to mathematical logic and type theory
to truth through proof Andrews, Peter B. | Academic Press 1986

Ouvrage

- 304 p.
Call n° : 00010819
calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation

03-XX ; 03B15 ; 03B35 ; 68A40

Location : Ouvrage RdC (ANDR)

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