Fundamentals of Mathematical Logic
S. Kurgalin,S. Borzunov
2020 · DOI: 10.1007/978-3-319-92645-2_1
Texts in Computer Science · 0 Citations
TLDR
The chapter gives an idea of mathematical logic, a science that studies mathematical proofs and methods for their construction.
Cited Papers
Citing Papers