skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
Material Type:
Livre
Ajouter au Panier

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Keisler, Howard Jerome (1936-...)

Appartient à la collection : Studies in logic and the foundations of mathematics, vol. 62, ISSN 0049-237X

Amsterdam. London. North-Holland, 1971, cop. 1971

Disponible(->>)

2
Intuitionistic logic model theory and forcing
Material Type:
Livre
Ajouter au Panier

Intuitionistic logic model theory and forcing

Fitting, Melvin Chris (1942-...)

Appartient à la collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X

Amsterdam. London. North-Holland, 1969 copyright 1969

Disponible(->>)

3
Model theory
Material Type:
Livre
Ajouter au Panier

Model theory

Chang, Chen Chung (1927-...) ; Keisler, Howard Jerome (1936-...)

Appartient à la collection : Studies in logic and the foundations of mathematics, 73, ISSN 0049-237X

Amsterdam. London. North-Holland. New York (N. Y.). American Elsevier, 1973

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

4
Non-classical logics, model theory and computability : proceedings of the third Latin-American symposium on mathematical logic, Campinas, Brazil, July 11-17, 1976
Material Type:
Livre
Ajouter au Panier

Non-classical logics, model theory and computability : proceedings of the third Latin-American symposium on mathematical logic, Campinas, Brazil, July 11-17, 1976

Arruda, Ayda I (Ed.) ; Costa, Newton Carneiro Affonso da (1929-...) (Ed.) ; Chuaqui, Rolando Basim (1935-...) (Ed.)

Appartient à la collection : Studies in logic and the foundations of mathematics, 89, ISSN 0049-237X

Amsterdam. New-York. Oxford. North-Holland, 1977

Disponible(->>)

5
Material Type:
Livre
Ajouter au Panier

Constructible sets with applications

Mostowski, Andrzej (1913-1975)

Appartient à la collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X

Amsterdam. North-Holland. Warszawa. PWN, 1969

Disponible(->>)

6
Material Type:
Livre
Ajouter au Panier

Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham (1918-1974)

Appartient à la collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X

Amsterdam. North-Holland Publishing Company, 1965

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

Refine Search Results

Affiner vos résultats

Localisation 

  1. Descartes  (1)
  2. Descartes - CDR  (3)
  3. Monod  (4)
  4. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à

Discipline 

  1. Mathématiques  (5)
  2. Sciences pures  (3)
  3. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

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