Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
Classical First-Order Logic
pocket,
2022,
Engelsk,
ISBN 9781108987004
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is …
Mathematical Structuralism
pocket,
2018,
Engelsk,
ISBN 9781108456432
The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with …