Spravočnaja kniga po matematičeskoj logike. Čast' IV, Teorija dokazatel'stv i konstruktivnaja matematika /

Vydáno 1983

Logika /

Autor Kříž, Jaroslav
Vydáno 1974

Logika : neúplnost, složitost a nutnost /

Autor Švejdar, Vítězslav, 1954-
Vydáno 2002

Matematická logika /

Autor Bek, Roman, 1924-, Zlatník, Čeněk, 1937-2019
Vydáno 1981

Matematická logika /

Autor Brabec, Jiří, 1930-
Vydáno 1980

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

Problém rozhodnutelnosti v predikátovém kalkulu I. stupně

Autor Glanc, Alois
Vydáno 1966

Higher-order logic and type theory /

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