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 03Gxx 26 results

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

Models and sets, part I :
proceedings of the logic colloquium held in aachen#July 18-23 Muller, G. H. ; Richter, M. M. | Springer-Verlag 1984

Congrès

- 396 p.
Call n° : 00007688

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

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

Contributions to mathematical logic
proceedings of the logic colloquium held at hannover,germany,august 1966 Schmidt, H. A. ; Schutte, K. ; Thiele, H. J. | North-Holland Publishing Co. 1968

Congrès


Call n° : 00004221

03-06 ; 03Bxx ; 03C60 ; 03Dxx ; 03Gxx

Location : Colloque 1er étage (HANN)

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

Boole's logic and probability :
a critical exposition from the standpoint of contemporary algebra,logic and probability theory Hailperin, Theodore | North-Holland 1986

Ouvrage

- 428 p.
Call n° : 00010810
algèbre de #oole # logique # logique de probabilité # logique propositionnelle # logique symbolique # probabilité

03G05 ; 03Gxx ; 60A05 ; 60A99

Location : Ouvrage RdC (HAIL)

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 investigation of the laws of thought
on which are founded the mathematical theories of logic and probabilities Boole, George | Dover Publications ; Inc. 1958

Ouvrage

- 424 p.
Call n° : 00012161
Boole # fondement de la logique # fondement des probabilités # logique # logique formelle # logique mathématique # probabilités

03A05 ; 03Bxx ; 03Gxx

Location : Ouvrage RdC (BOOL)

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

Boolean calculus of differences Thayse, Andre | Springer-Verlag 1981

Ouvrage

- 144 p.
Call n° : 00013855
algèbre de Boole # booléen # différence booléenne # fonction booléennes # logique

03G05 ; 03Gxx ; 94C09

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

Théorie dialectique des probabilités englobant leurs calculs classique et quantique Bodiou, Georges | Gauthier-Villars et Cie. 1964

Ouvrage

- 194 p.
Call n° : 00002267
axiomatique de la théorie des probabilités # fondement logique de la mécanique quantique # logique algèbrique # logique mathématique # théorie dialectique des probabilités

03G12 ; 03Gxx ; 60-XX ; 60A05 ; 81P10

Location : Ouvrage RdC (BODI)

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

Logic of algebra Dienes, Paul | Hermann & Cie. 1938

Ouvrage

- 76 p.
Call n° : 00008076
logique algébrique # logique symbolique # épistémologie

00A30 ; 03-05 ; 03B30 ; 03Gxx

Location : Ouvrage RdC (DIEN)

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

Unpublished Papers I Monteiro, A. | INMABB-CONICET Universidad Nacional del Sur 1996

Publication

- pag. mult.
Call n° : 00018965
algèbre de Boole # algèbre de Hilbert # algèbre de Lukasiewicz # algèbre de Nelson # algèbre de Stone # algèbre de Tarski # logique mathématique

03G05 ; 03G20 ; 03Gxx ; 06Exx

Location : Salle de manutention

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

Mathematical logic :
collected papers dedicated to the 100th birthday of academician Petr Sergeevich Nonikov Mishchenko, Evgenii F. | MAIK Nauka/Interperiodica Publishing 2003

Congrès

- 196 p.
Call n° : 00026070
Novikov # algèbre # logique mathématique # théorie des algorithmes # complexité

03-06 ; 03Gxx ; 03F20 ; 11Y16

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

Set theory and logic Stoll, Robert R. | Dover Publications, Inc. 1979

Ouvrage

- 474 p.
Call n° : 00006728
algèbre de Boole # ensemble et relation # extension des nombres naturels aux nombres réels # logique # mathématique axiomatique informelle # suite des nombres naturels # théorie algébrique # théorie des ensembles axiomatique informelle # théorie du premier-ordre

03Exx ; 03Fxx ; 03Gxx

Location : Ouvrage RdC (STOL)

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