An explicit boolean-valued model for non-standard arithmetic (1993)

by Albert G Dragalin
Venue:Publ. Math. Drebecen