Books on third-order logic and above.

Asked Oct 09 '17 at 01:54

Active Oct 10 '17 at 03:09

Viewed 194 times

I was wondering if anyone knows where I could get books on third-order predicate logic, in order to learn third order logic. I searched bookstores and Google everywhere I could think. I am also interested in fourth-order and so on. thanks

or Could someone try explaining it to me in plain English with examples.

edited Oct 10 '17 at 03:09

asked Oct 09 '17 at 01:54

mcampbe

1

"Higher order logic" most commonly goes under the name 'set theory'. – Oct 09 '17 at 02:19
Nothing special about 3rd-order and on; the treatment is the same for 2nd-order. See e.g. S.Shapiro, Foundations Without Foundationalism: A Case for Second-Order Logic, M.Fitting, Types, Tableaus, and Gödel’s God, P.Andrews, An Introduction to Mathematical Logic and Type Theory. – Mauro ALLEGRANZA Oct 09 '17 at 14:13

Books on third-order logic and above.

0 Answers0