Login / Signup
A note on the Hanf number of second-order logic.
Matt Kaufmann
Published in:
Notre Dame J. Formal Log. (1985)
Keyphrases
</>
databases
artificial intelligence
real time
image processing
website
case study
higher order