Explore >> Select a destination
|
You are here 
|
richardzach.org | ||
| | | | |
www.umsu.de
|
|
| | | | | ||
| | | | |
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... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative... | |
| | | | |
carldagostino.wordpress.com
|
|
| | | 1 post published by Carl D'Agostino on January 4, 2017 | ||
