Bounded variable logics and countingby Martin OttoModel theoryComputational complexityWriting a summary for young readers…For young readersBook data: Open Library