Hendriks Kazakci Design as Imaginating Future Knowledge
Mirco A. Mannucci and Rose M. Cherubin- Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetic
TeachYourselfLogic10-0
Teach Yourself Logic
Peter Smith - DIY Logic