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 Goldblatt, Robert 5 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

Orthogonality and spacetime geometry Goldblatt, Robert | Springer-Verlag 1986

Ouvrage

- 353 p.
Cote : 00011251
espace # fonction orthogonale # géométrie affine # temps

53-01 ; 53B30

Localisation : Ouvrage RdC (GOLD)

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

Topoi :
the categorial analysis of logic Goldblatt, Robert | North-Holland Publishing Co. 1979

Ouvrage

- 486 p.
Cote : 00000191
algèbre booléenne # arithmétique # axiome d'infinitude # colimite # constructivisme # espace topologique # factorisation d'images # faisceau # fibré # foncteur adjoint # fondement des mathématiques # intuitionisme # limite # logique # monomorphisme # oméga # philosophie des mathématiques # quantificateur # représentation d'objets # théorie des catégories # théorie des ensembles # topos # topoi # épimorphisme

03B20 ; 03C90 ; 03G30 ; 18B25

Localisation : Ouvrage RdC (GOLD)

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

Lectures on the hyperreals
An introduction to nonstandard analysis Goldblatt, Robert | Springer 1991

Ouvrage


Cote : 00022373
analyse mathématique non standard # application # construction d'hyperéelle # convergence # différentiation # fonction continue # fonction d'ensemble # fonction réelle # intégrale de Riemann # mesure et intégration # séquence # série

03H05 ; 26E35 ; 28E05

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

Axiomatising the logic of computer programming Goldblatt, Robert | Springer-Verlag 1982

Ouvrage

- 304 p.
Cote : 00027326
informatique # programme # type de données abstraites # vérification de programme # logique modale # sémantique

68Q65 ; 68Q60 ; 68-01 ; 03B45

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.
y

Quantifiers, propositions and identity:
admissible semantics for quantified modal and substructural logics Goldblatt, Robert | Cambridge University Press ; Association for Symbolic Logic 2011

Ouvrage

- xiii; 268 p.
Cote : 00038752
variable # logique modale # sémantique # proposition admissible # logique d'appropriation

03-02 ; 03B45 ; 03B47

Localisation : Ouvrage RdC (GOLD)

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

Auteurs

Référence

Codes MSC

J Plus

Date de parution