Number of the records: 1
A Computational Glimpse at the Leibniz and Frege Hierarchies
- 1.Moraschini, T. A Computational Glimpse at the Leibniz and Frege Hierarchies. Annals of Pure and Applied Logic. 2018, 169(1), 1-20. ISSN 0168-0072. E-ISSN 1873-2461. Available: doi: 10.1016/j.apal.2017.07.003
Number of the records: 1