An outline of mathematical logic by Andrzej Grzegorczyk | Menrva Books