Logic, mathematics and the computer : foundations: history, philosophy and applications by Tietojenkäsittelytieteen seura | Menrva Books | MenrvaBooks