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

Computational quantifier elimination (Special Issue)

s.n., 1993

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

METHODS OF LOGIC.

LONDON : ROUTLEDGE & KEGAN, 1966

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

Quantification dans le groupe nominal : étude comparative des structures partitives de quantification avec « of » en anglais général et en anglais de spécialité

Boughedaoui, Mourad

2012

Texte intégral disponible

13
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
14
Material Type:
Article
Ajouter à Mon espace

Asko ren zenbait alderdi

Etxepare, Ricardo

2009

Texte intégral disponible

15
Material Type:
Article
Ajouter à Mon espace

La détermination nominale: article et quantificateur

Sonia Vaupot

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

Texte intégral disponible

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

Zenbatzaileak komunztatzen ez direnean : Hiru sistema

Etxeberria, Urtzi ; Etxepare, Ricardo

2009

Texte intégral disponible

17
Material Type:
Article
Ajouter à Mon espace

Language variations across genres: Quantifiers and worlds of reference in (and around) economics textbooks

Bondi-Paganelli, Marina

1996

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

Type de ressource 

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

Date de publication 

À partir de jusqu'à
  1. Avant 1969  (4)
  2. 1969 à 1983  (3)
  3. 1984 à 1995  (3)
  4. 1996 à 2004  (4)
  5. Après 2004  (5)
  6. Plus d’options open sub menu

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Etxepare, Ricardo
  2. Etxeberria, Urtzi
  3. Beth, Evert Willem, 1908-1964
  4. Dickmann, Max (1940-...)
  5. Heydarzade, Y.

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é