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

Date :

Editeur / Publisher : Amsterdam : North-Holland , 1965

Type : Livre / Book

Langue / Language : anglais / English

Catalogue Worldcat

Théorie des types

Classification Dewey : 164

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