Úvod do matematické logiky. Kapitola 0, Úvod /

Autor Church, Alonzo, 1903-1995
Vydáno 1977

Introduction to mathematical logic /

Autor Church, Alonzo, 1903-1995
Vydáno 1996

The calculi of lambda-conversion /

Autor Church, Alonzo, 1903-1995
Vydáno 1951

Mathematical logic /

Autor Church, Alonzo, 1903-1995
Vydáno 1936

Vvedenije v matematičeskuju logiku. I /

Autor Church, Alonzo, 1903-1995
Vydáno 1960

The collected works of Alonzo Church /

Autor Church, Alonzo, 1903-1995
Vydáno 2019