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

Automata theory and formal languages 2nd gi conference :
conference held in kaiserslautern#May 20-23 Brakhage, H. | Springer-Verlag 1975

Congrès

- 292 p.
Call n° : 00012088
automate # compilateur # complexité # informatique théorique # langage formel # logique # métathéorie # théorie des automates

03-XX ; 68-XX ; 94-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

Theoretical computer science 4th gi conference#March 26-28 Weihrauch, K. | Springer-Verlag 1979

Congrès

- 324 p.
Call n° : 00012099
algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages

03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-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

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

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

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

Lambda-calcul types et modèles Krivine, Jean-Louis | Masson 1990

Ouvrage

- 176 p.
Call n° : 00016128
fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types

03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20

Location : Disparu;Ouvrge RdC (KRIV)

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

Proceedings of the international conference on algebra. Part 2 :
dedicated to the memory of A. I. Mal'cev. Conference held at Akademgorodok#Aug. 21-26 Bokut, Leonid A. ; Ershov, Yu Leonidovich ; Kostrikin, Aleksei Ivanovich | American Mathematical Society 1992

Congrès

- 704 p.
Call n° : 00015511
algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique # logique

00B25 ; 03-XX ; 06-XX ; 08-XX ; 11-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

The mathematics of metamathematics Rasiowa, Helena ; Sikorski, Roman | PWN-Polish Scientific Publishers 1970

Ouvrage

- 519 p.
Call n° : 00003223
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis[-]
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie ...[+]

03-XX ; 03B05 ; 03B45 ; 03F55 ; 06Bxx

Location : Ouvrage RdC (RASI)

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