Book Chapter10.1007/978-0-85729-392-3_11

Inductive definitions and second-order logic

Richard Lassaigne,Michel de Rougemont-2004-01-01

0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

DecidabilitySecond-order logicDescriptive complexity theoryClass (philosophy)MathematicsOrder (exchange)First-order logicPSPACE

Chat

Click to start Chat