A transfinite type theory with type variables / by P.B. Andrews,...

Date : 1965

Editeur / Publisher : Amsterdam : North-Holland , 1965

Type : Livre / Book

Langue / Language : anglais / English

Théorie des types

Classification Dewey : 164

Andrews, Peter Bruce (1937-....) (Auteur / author)

Collection : Studies in logic and the foundations of mathematics / Amsterdam : North-Holland , 1951-