skip to main content
Langue :
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Afficher les résultats avec :
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter au Panier

Eléments de logique mathématique : théorie des modèles

Kreisel, Georg (1923-2015) ; Krivine, Jean-Louis (1939-...)

Appartient à la collection : Monographies de la Société mathématique de France, 3, ISSN 0583-8673

Paris. Dunod, 1967

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

2
Mathematical interpretation of formal systems
Material Type:
Livre
Ajouter au Panier

Mathematical interpretation of formal systems

Skolem, Thoralf (1887-1963) ; Hasenjaeger, Gisbert (1919-2006) ; Kreisel, Georg (1923-2015) ; Wiskundig genootschap (Pays-Bas) (Ed.)

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

Amsterdam [etc.]. North-Holland Publishing Company, 1971

Indisponible     (->>)

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.