Proofs and algorithms : an introduction to logic and computability /

Autor Dowek, Gilles, 1966-
Vydáno 2011

The logic book /

Autor Bergmann, Merrie, Moor, James, 1942-, Nelson, Jack, 1944-
Vydáno 2014

Higher-order logic and type theory /

Autor Bell, J. L. 1945-
Vydáno 2022