![]() |
Avigad, Jeremy Mathematical logic and computation Cambridge : Cambridge University Press, 2023. xii, 513 p. QA9 A865 |
Avigad

![]() |
Avigad, Jeremy Mathematical logic and computation Cambridge : Cambridge University Press, 2023. xii, 513 p. QA9 A865 |