Lean Logic (Q348)

From wikibase-docker
2016 book by David Fleming, published posthumously, and companion website
Language Label Description Also known as
English
Lean Logic
2016 book by David Fleming, published posthumously, and companion website

    Statements