Second-order logic and foundations of mathematics.

Jouko A. Väänänen

Published in: Bull. Symb. Log. (2001)

Keyphrases

computer algebra
classical logic
higher order
artificial intelligence
formal logic
fourth order
modal logic
multi valued
databases
proof theory
logical framework
high order
logic programming
computer science
computer assisted instruction
digital circuits
truth values
asynchronous circuits
data sets