What is mathematical logic? /

Autor Crossley, John N., 1937-
Vydáno 1990

Adapting proof-as-programs : the Curry-Howard protocol /

Autor Poernomo, Iman Hafiz, 1976-, Crossley, John N., 1937-, Wirsing, Martin, 1948-
Vydáno 2005

Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 /

Vydáno 1965