skip to main content
Langue :
Afficher les résultats avec :
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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(->>)

2
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(->>)

3
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, 1965

Disponible(->>)

4
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(->>)

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
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(->>)

Refine Search Results

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.