Search results
- 1.0556098 - ÚTIA 2023 RIV CH eng B - Monography
Csirmaz, Laszlo - Gyenis, Z.
Mathematical Logic : Exercises and Solutions.
Cham: Springer, 2022. 319 s. Problem Books in Mathematics. ISBN 978-3-030-79009-7
R&D Projects: GA ČR(CZ) GA19-04579S
Grant - others:Narodowe Centrum Nauki(PL) 2019/34/E/HS1/00044
Institutional support: RVO:67985556
Keywords : mathematical logic * formal logic * first-order logic * propositional calculus * predicate calculus * Goedel's theorem * Peano axiom system * recursion theory * ultraproducts * problem solving
OECD category: Pure mathematics
http://library.utia.cas.cz/separaty/2022/MTR/csirmaz-0556098.pdf
Permanent Link: http://hdl.handle.net/11104/0330493