Το βιβλίο  'A Short Introduction to Intuitionistic Logic'  βρίσκεται στον σύνδεσμο

https://www.dropbox.com/scl/fo/isa8b4dvl1n489v2z4fo3/ABhkmORSfwR7NAhcjJNjesA?rlkey=0fvte976j04oqqidbexx73cg0&dl=0

στον κατάλογο  'logic'