انتشارات Asl
Nonstandard Methods and Applications in Mathematics
Nigel J. Cutland, 2006
Reverse Mathematics 2001
Stephen G. Simpson (ed.), 2005
Model Theory of Stochastic Processes
Sergio Fajardo, H. Jerome Keisler, 2002
Logicism Renewed: Logical Foundations for Mathematics and Computer Science
Paul C. Gilmore, 2005
