m

Documents  Critères de recherche : "Introduction to logic" | enregistrements trouvés : 13

O
     

-A +A

P Q

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

- 293 p.
ISBN 978-0-521-24665-1

Cambridge studies in advanced mathematics , 0007

Localisation : Ouvrage RdC (LAMB)

catégorie # logique # logique mathématiques

03B15 ; 03B40 ; 03C35

... Lire [+]

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

- 304 p.
ISBN 978-0-12-058536-6

Computer science and applied mathematics

Localisation : Ouvrage RdC (ANDR)

calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation

03-XX ; 03B15 ; 03B35 ; 68A40

... Lire [+]

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

- 292 p.
ISBN 978-3-540-11492-5

Lecture notes in computer science , 0135

Localisation : Collection 1er étage

pl/cv2 # programmation logique

68N17

... Lire [+]

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

- 378 p.

Princeton mathematical series , 0017

Localisation : Ouvrage RdC (CHUR)

calcul des propositions # calcul fonctionnel du premier ordre # calcul fonctionnel du second ordre # logique mathématique

03-01 ; 03B05 ; 03B10 ; 03B15

... Lire [+]

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

- 627 p.
ISBN 978-0-387-97710-2

Universitext

Localisation : Ouvrage RdC (MACL)

faisceau # géométrie # logique # topologie # topologie étale # topos

03G30 ; 14F20 ; 18B25 ; 18F20 ; 54B40

... Lire [+]

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


ISBN 978-0-387-97710-2

Universitext

Localisation : Disparu

continuation de base de la topologie générale # faisceau # géométrie # logique # logique algébrique # logique catégorique # préfaisceau # théorie de la cohomologie # topologie de Grothendieck # topologie étale # topos

03G30 ; 14F20 ; 18B25 ; 18F20 ; 54B40

... Lire [+]

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

- 443 p.
ISBN 978-0-387-98655-5

Universitext

Localisation : Ouvrage RdC (POIZ)

bifurcation # dimension de modèles # embranchement # fondement # logique mathématique # rang # saturation # stabilité # théorie de classification # théorie des modèles # théorie transcendentale

03-01 ; 03Cxx

... Lire [+]

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

- 170 p.
ISBN 978-0-521-09697-3

London mathematical society lecture note series , 0007

Localisation : Ouvrage RdC (HIND)

conversion lambda # logique combinatoire # théorie récursive

03B40 ; 03D99 ; 03-01

... Lire [+]

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

- xxxii; 613 p.
ISBN 978-0-521-67026-5

Cambridge introductions to philosophy

Localisation : Ouvrage RdC (PRIE)

logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire

03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55

... Lire [+]

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

- xiv; 491 p.
ISBN 978-0-486-49785-3

Dover books on mathematics

Localisation : Ouvrage RdC (HODE)

logique mathématique # logique symbolique

03-01

... Lire [+]

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

- xv; 356 p.
ISBN 978-1-4614-3630-0

Localisation : Ouvrage RdC (CUNN)

induction # logique mathématique # théorie des ensembles # démonstration mathématique # enseignement

97E50 ; 97E60 ; 97E30 ; 97E40 ; 03-01 ; 03B05 ; 03F03

... Lire [+]

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

- xxiv; 489 p.
ISBN 978-1-4822-3772-6

Textbooks in mathematics

Localisation : Ouvrage RdC (MEND)

logique mathématique # philosophie # théorie des ensembles de von Neumann-Bernays-Gödel # extension élémentaire # analyse non-standard # théorie de la quantification # théorème de complétude de Goedel # théorie formelle des nombres # arithmétique de premier ordre # calculabilité effective # algorithme

03-01 ; 03B05 ; 03B10 ; 03Cxx ; 03Dxx ; 03Exx ; 03Hxx

... Lire [+]

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

- xiii; 237 p.
ISBN 978-1-4704-4399-3

Student mathematical library , 0088

Localisation : Collection 1er étage

théorie des nombres # jeux mathématiques # 10ème problème de Hilbert # nombre transfini de Cantor # théorie axiomatique des ensembles # machine de Turing # théorème incomplet de Gödel

11U05 ; 12L05 ; 03-01 ; 03Dxx ; 03F40 ; 03F45 ; 03E30

... Lire [+]

Z