Explore >> Select a destination
|
You are here 
|
xorshammer.com | ||
| | | | |
homotopytypetheory.org
|
|
| | | | | Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new... | |
| | | | |
inquiryintoinquiry.com
|
|
| | | | | Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore... | |
| | | | |
www.logicmatters.net
|
|
| | | | | In a previous book note, and also in the Appendix to the Guide, there is a review of Shashi Mohan Srivastava's earlier A Course on Mathematical Logic. Parts of that book, as I say, could make useful supplementary/revision reading. So I was interested to see that he now has another short introductory text, An Introduction [...] | |
| | | | |
geriatrixfotogallerie.wordpress.com
|
|
| | | 52 Weeks Photo Challenge: Week 32 | ||
