Foundations of mathematical logic /

Autor Curry, Haskell Brooks, 1900-1982
Vydáno 1977

An introduction to mathematical logic and type theory : to truth through proof /

Autor Andrews, P. B. 1937-
Vydáno 2002

A course in mathematical logic /

Autor Bell, J. L. 1945-, Machover, Moshe
Vydáno 1997

Základy aplikované matematiky. I, Matematická logika, množiny, základy algebry, analytická geometrie, diferenciální počet, numerické a grafické metody /

Autor Škrášek, Josef, 1912-1986, Tichý, Zdeněk
Vydáno 1983