m

F Nous contacter

0

Documents  Goldblatt, Robert | enregistrements trouvés : 5

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 353 p.
ISBN 978-0-387-96519-2

Universitext

Localisation : Ouvrage RdC (GOLD)

espace # fonction orthogonale # géométrie affine # temps

53-01 ; 53B30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 486 p.
ISBN 978-0-444-85207-6

Studies in logic and the foundations of mathematics , 0098

Localisation : Ouvrage RdC (GOLD)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-387-97464-4

Graduate texts in mathematics , 0188

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 304 p.
ISBN 978-3-540-11210-5

Lecture notes in computer science , 0130

Localisation : Collection 1er étage

informatique # programme # type de données abstraites # vérification de programme # logique modale # sémantique

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiii; 268 p.
ISBN 978-1-10701-052-9

Lecture notes in logic

Localisation : Ouvrage RdC (GOLD)

variable # logique modale # sémantique # proposition admissible # logique d'appropriation

03-02 ; 03B45 ; 03B47

... Lire [+]

Z