Documents

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

Studies in logic and the foundations of mathematics

Cote : BARWISE k
ISBN/ISSN : 0-444-85345-6

analyse non standard ; automate ; ensemble projectif ; fonction récursive ; intuitionisme ; logique ; thèse de Church

... Lire [+]

Sélection

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

Studies in logic and the foundations of mathematics

Cote : BAR-HILLEL m
ISBN/ISSN : 7204 2255 8

ensemble ; logique

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : GRIFFOR h
ISBN/ISSN : 0-444-89882-4

calculabilité

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : BARENDREGT l
ISBN/ISSN : 0-444-87508-5

lambda calcul

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : RASIOWA a
ISBN/ISSN : 0-7204-2264-7

logique ; structure algébrique ordonnée

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : DRAKE s
ISBN/ISSN : 0-7204-2200-0

cardinal ; ensemble ; logique ; théorie de Zermelo-Fraenkel

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : FRAENKEL f
ISBN/ISSN : 0-7204-2270-1

ensemble ; histoire des mathématiques

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : BELL m
ISBN/ISSN : 0-7204-2054-7

algèbre de Boole ; calcul des prédicats ; calcul propositionnel ; classe ; complétude ; interpolation de Craig ; logique ; modèle ; modèle saturé ; nombre de Hanf ; quantificateur de Chang ; quantificateur généralisé ; structure ; structure homogène ; structure universelle ; théorème de Chang ; théorème de Lowenheim-Skolem ; théorème de Mac Dowell-Specker ; théorème de Rabin-Keisler ; théorème de Vaught ; ultralimite ; ultraproduit ; ultrapuissance

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : CROSSLEY c

Cantor (Georg Ferdinand Ludwig Philipp) ; isomorphisme

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : BELL m

algèbre de Boole ; calcul des prédicats ; calcul propositionnel ; classe ; complétude ; interpolation de Craig ; logique ; modèle ; modèle mathématique ; modèle saturé ; nombre de Hanf ; quantificateur de Chang ; quantificateur généralisé ; structure ; structure homogène ; structure universelle ; théorème de Chang ; théorème de Lowenheim-Skolem ; théorème de Mac Dowell-Specker ; théorème de Rabin-Keisler ; théorème de Vaught ; ultralimite ; ultraproduit ; ultrapuissance

... Lire [+]

Sélection

Documents Studies in logic and the foundations of mathematics 14 résultats

The Kleene symposium : Proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Barwise, Jon ; Keisler, H. Jerome ; Kunen, Kenneth | North-Holland 1980 Nouveau

Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel academy of sciences and humanities Bar-Hillel, Yehoshua | North-Holland 1970 Nouveau

Handbook of computability theory Griffor, Edward R. | Elsevier 1999 Nouveau

The lambda calculus : its syntax and semantics Barendregt, Hendrik Pieter | North-Holland 1984 Nouveau

An algebraic approach to non-classical logics Rasiowa, Helena | North-Holland 1974 Nouveau

Set theory : an introduction to large cardinals Drake, Frank Robert | North-Holland 1974 Nouveau

Foundations of set theory Fraenkel, Abraham A. ; Bar-Hillel, Yehoshua ; Levy, Azriel ; Van Dalen, Dirk | North-Holland 1973 Nouveau

Models and ultraproducts : an introduction Bell, J. L. ; Slomson, A. B. | North-Holland 1971 Nouveau

Constructive order types Crossley, J. N. | North-Holland 1969 Nouveau

Models and ultraproducts : an introduction Bell, J. L. ; Slomson, A. B. | North-Holland 1969 Nouveau