Košík

0556098 - ÚTIA 2023 RIV CH eng B - Monografie kniha jako celek
Csirmaz, Laszlo - Gyenis, Z.
Mathematical Logic : Exercises and Solutions.
Cham: Springer, 2022. 319 s. Problem Books in Mathematics. ISBN 978-3-030-79009-7
Grant CEP: GA ČR(CZ) GA19-04579S
Grant ostatní: Narodowe Centrum Nauki(PL) 2019/34/E/HS1/00044
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical logic * formal logic * first-order logic * propositional calculus * predicate calculus * Goedel's theorem * Peano axiom system * recursion theory * ultraproducts * problem solving
Obor OECD: Pure mathematics
http://library.utia.cas.cz/separaty/2022/MTR/csirmaz-0556098.pdf
Trvalý link: http://hdl.handle.net/11104/0330493