Filter
Søkt på: Søkeresultat
Filter
1 treff
A Concise Introduction to Mathematical Logic
heftet,
2009,
Engelsk,
ISBN 9781441912206
by Lev Beklemishev, Moscow The ?eld of mathematical logic-evolving around the notions of logical validity, provability, and computation-was created in the ?rst half of the previous …