Mitsuru Yasuhara (yasuhara)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Yasuhara, Mitsuru. 2003. “Review of Andrews (2002).” The Bulletin of Symbolic Logic 9(3): 408.
Further References
Andrews, Peter B. 2002. An Introduction to Mathematical Logic and Type Theory. 2nd ed. Dordrecht: Kluwer Academic Publishers.