KB 16159
Gödel, Kurt, 1906-1978
Úplnost a neúplnost / Kurt Gödel ; přeložila Blažena Švandová ; předmluva Vítězslav Švejdar. -- 1. vyd. -- Kanina : OPS ; Plzeň : Vydavatelství Západočeské univerzity v Plzni, 2015. -- 135 s. ; 20 cm. -- (Proudy evropské vzdělanosti ; sv. 2). -- Přeloženo z němčiny. -- ISBN : 978-80-87269-39-8 (OPS ; brož.). -- 978-80-261-0305-9 (Západočeská univerzita ; brož.).
Švandová, Blažena, 1945-. Švejdar, Vítězslav, 1954-
matematická logika. aritmetika. teorie důkazu. mathematical logic. arithmetic. proof theory. monografie. pojednání. kritická vydání. monographs. essays. critical issues
510.6. 511.1. 168.3. (048.8). (049). (0.027)