skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

Large infinitary languages : model theory

Dickmann, Max (1940-....)

Amsterdam Oxford New York NY : North-Holland American Elsevier, 1975

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

METHODS OF LOGIC.

LONDON : ROUTLEDGE & KEGAN, 1966

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

CONSTRUCTS FOR SETS,QUANTIFIERS,AND REWRITE RULES IN LISP.

S.L. : s.n., 1984

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

Computational quantifier elimination (Special Issue)

s.n., 1993

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Truth syntax and modality.

Temple University Conference on Alternative Semantics Philadelphia PA 1970. ; Leblanc, Hugues ; Temple University.

Amsterdam London : North-Holland, 1973

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Beth, Evert Willem (1908-1964.)

Dordrecht : D. Reidel, 1962

Voir les exemplaires

7
Material Type:
Versions multiples

Bergman spaces

Duren, Peter Larkin (1935-....) ; Schuster, Alexander.

Plusieurs versions trouvées
Il y a 2 versions

8
Material Type:
Livre
Ajouter à Mon espace

LOGIQUE MODERNE. 1,LOGIQUE DES PROPOSITIONS ET DES PREDICATS.DEDUCTION NATURELLE.

PARIS : GAUTHIER-VILLARS, 1969

Disponible  et autres localisations

9
Material Type:
Versions multiples

Foundations of mathematical logic

Curry, Haskell Brooks (1900-1982.)

Plusieurs versions trouvées
Il y a 2 versions

10
Building models by games.
Material Type:
Livre
Ajouter à Mon espace

Building models by games.

Hodges, Wilfrid (1941-....)

Cambridge : Cambridge University Press, 1985

Voir les exemplaires

11
Material Type:
Livre
Ajouter à Mon espace

MONOGRAPHIE DES TREILLIS ET ALGEBRE DE BOOLE. 1.

PARIS : GAUTHIER-VILLARS, 1962

Voir les exemplaires

12
Material Type:
Article
Ajouter à Mon espace

Phantom wormhole solutions in a generic cosmological constant background

Heydarzade, Y ; Riazi, N ; Moradpour, H ; Heydarzade, Y (correspondence author)

Canadian Journal of Physics, January 2015, Vol.93(12), pp.1523-1531 [Revue évaluée par les pairs]

Pas de texte intégral

Voir toutes les versions
13
Material Type:
Article
Ajouter à Mon espace

La détermination nominale: article et quantificateur

Sonia Vaupot

Linguistica, 01 December 2002, Vol.42(1), pp.131-142 [Revue évaluée par les pairs]

Texte intégral disponible

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Établissement 

  1. Collège de France  (1)
  2. École normale supérieure  (6)
  3. MINES ParisTech  (5)
  4. Plus d’options open sub menu

Type de ressource 

  1. Articles  (2)
  2. Livres  (11)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1966  (3)
  2. 1966 à 1972  (2)
  3. 1973 à 1983  (2)
  4. 1984 à 1993  (3)
  5. Après 1993  (3)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré