Record Nr.

UNICAMPANIAVAN0255772

Titolo

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 / I. Bucur ... [et al.] ; F. W. Lawvere editor

Pubbl/distr/stampa


Berlin, : Springer, 1972

Descrizione fisica

189 p. ; 24 cm

Soggetti

14-XX - Algebraic geometry [MSC 2020]

03-XX - Mathematical logic and foundations [MSC 2020]

00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia