What is mathematical logic? An Australian odyssey.

John Newsome Crossley

Published in: Log. J. IGPL (2023)

Keyphrases

computer algebra
modal logic
classical logic
human reasoning
mathematical theory
multi valued
predicate logic
mathematical models
epistemic logic
formal logic
machine learning
genetic algorithm
social networks
defeasible logic
mathematical modeling
formal theory