我要吃瓜

Tag

Logic and Type Theory

Outputs (2)

Book Chapter

Cook R, Ebert P & Rossberg M (2022) Frege's Concept-Script (Grundgesetze der Arithmetik). In: Woltzenlogel Paleo B & Reis G (eds.) An Encyclopaedia of Proof Systems: Third Edition. 3rd ed. London: College Publication, pp. 5-7. https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf


Edited Book

Ebert P & Rossberg M (eds.) (2019) Essays on Frege’s Basic Laws of Arithmetic. Oxford: Oxford University Press. https://global.oup.com/academic/product/essays-on-freges-basic-laws-of-arithmetic-9780198712084?prevNumResPerPage=60&lang=en&cc=gb#