- Tytuł:
- Mathematical logic : exercises and solutions
- Autorzy:
-
Csirmaz, Laszlo
Gyenis, Zalán - Data publikacji:
- 2022
- Wydawca:
- Springer
- Słowa kluczowe:
-
predicate calculus
ultraproducts
recursion theory
propositional calculus
Peano axiom system
mathematical logic
Gödel’s theorems
problem solving
first-order logic
formal logic - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Książka