Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976

Salvato in:
Dettagli Bibliografici
Ente Autore: Logic colloquium :Oxford, GB
Altri autori: Gandy, Robin O., 1919-1995 (Direttore editoriale), Hyland, J. M. E. (Direttore editoriale)
Natura: Livre papier
Lingua:Anglais
Pubblicazione: Amsterdam [etc.] : North-Holland publishing company 1977.
Serie:Studies in logic and the foundations of mathematics volume 87
Soggetti:
Logique symbolique et mathématique
Théorie des modèles
Ensembles, Théorie des
Récursivité, théorie de la
Actes de congrès
Nota: Textes issus de la conférence "Logic colloquium 76", qui s'est tenue à Oxford, du 19 au 30 juillet 1976
Autres localisations: Voir dans le Sudoc

Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)

Dettagli sul posseduto da Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
Note: A demander à la BU Sciences
  Localizzazione Collocazione Type de prêt Status
Salle de lecture CO 52 GAN Prêt sous conditions Disponibile
Salle de lecture CO 51 GAN Prêt sous conditions Disponibile

Documenti analoghi