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 03F65 14 results

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

Constructive functional analysis Bridges, D. S. | Pitman 1979

Ouvrage

- 203 p.
Call n° : 00000109
mathématiques logiques et leurs fondations # approximation et expension # système de Chebyshev # analyse fonctionnelle

03F65 ; 41A50 ; 41A65 ; 46-02

Location : Ouvrage RdC (BRID)

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

Constructive continuity Mandelkern, Mark | American Mathematical Society 1983

Ouvrage


Call n° : 00014712

03F65 ; 26A48 ; 54C30

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

Foundations of constructive mathematics Beeson, Michael J. | Springer-Verlag 1985

Ouvrage

- 466 p.
Call n° : 00008510
logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique

03F65 ; 00A30 ; 03F50 ; 03F55 ; 03F60

Location : Ouvrage RdC (BEES)

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

Constructive analysis Bishop, Errett ; Bridges, Douglas | Spinger-Verlag 1985

Ouvrage

- 477 p.
Call n° : 00009084

03F65 ; 28C05 ; 28C10 ; 46R05

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 constructive algebra Mines, Ray ; Richman, Fred ; Ruitenburg , Wim | Springer-Verlag 1988

Ouvrage

- 344 p.
Call n° : 00011880
algèbre # construction

03F65 ; 13-01

Location : Ouvrage RdC (MINE)

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

Constructive mathematics :
proceedings of the new mexico state university conference held at las cruces#Aug. 11-15 Richman, F. | Springer-Verlag 1981

Congrès

- 347 p.
Call n° : 00013686
fondement de la logique mathématique # logique mathématique # mathématiques constructives # théorie de la preuve

03-XX ; 03F50 ; 03F55 ; 03F65 ; 03Fxx

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

Elements of intuitionism Dummett, Michael ; Minio, Roberto, | Clarendon Press 1978

Ouvrage

- 467 p.
Call n° : 00000020
formalisation # logique intuitioniste # mathématique intuitioniste # preuve constructive # suite de choix

03F50 ; 03F55 ; 03F60 ; 03F65

Location : Ouvrage RdC (DUMM)

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

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

Twenty-five years of constructive type theory
Proceedings of a congress
oct.19-21 Sambin, Giovanni ; Smith, Jan M. | Clarendon Press 1998

Congrès


Call n° : 00022504
analyse constructive # analyse récursive # fondement # logique d'ordre supérieur # mathématique constructive # structure logique # système constructif # théorie de la preuve # théorie des types de logique

03-06 ; 03B15 ; 03F50 ; 03F60 ; 03F65

Location : Colloque 1er étage (VENI)

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étamathématique Lorenzen, Paul ; Grize, J. B. | Gauthier-Villars ; Mouton 1967

Ouvrage

- 166 p.
Call n° : 00027409
métamathématique # logique # arithmétique # décidabilité # incomplétude # indécidabilité

03-01 ; 03-02 ; 03F65 ; 03F30 ; 03B25

Location : Ouvrage RdC (LORE)

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