Constructive order types

John N. Crossley
Bok · Engelsk · 1969

Utgitt	Amsterdam : North-Holland , 1969
Omfang	225 s.
Emner	Logic, Symbolic and mathematical matematisk logikk mengder