1122-1151 (print)
1572-8390 (online)
Springer
A defense of second-order logic
Vol. 20/2-3
Otávio Bueno
Volume
Title
Author