skip to main content
Langue :
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

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Crossley, John Newsome (1937-...) (Ed.) ; Dummett, Michael Anthony Eardley (1925-2011) (Ed.) ; Association for symbolic logic (Ed.) ; Organisation du traité de l'Atlantique nord (Ed.)

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

Amsterdam. North-Holland, 1965

Disponible(->>)

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.