P. Tosi (tosi-p)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Tosi, P. 1980. “Intuitive Proofs and First-Order Derivations: Some Notes on the Metamathematics of First-Order Number Theory.” in Italian Studies in the Philosophy of Science, edited by Maria Luisa Dalla Chiara, pp. 137–152. Boston Studies in the Philosophy of Science n. 47. Dordrecht: D. Reidel Publishing Co.