Which Mathematical Logic is the Logic of Mathematics?

Jaakko Hintikka

Published in: Logica Universalis (2012)

Keyphrases

computer algebra
multi valued
modal logic
logic programming
classical logic
asynchronous circuits
theorem prover
automated reasoning
mathematical theory
mathematical knowledge
data sets
proof theory
deontic logic
epistemic logic
computational properties
computer science
knowledge base
social networks