Timeline for Reduction of the predicate calculus to the propositional calculus in the case of one sigle object in the universe? [closed]
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 21, 2018 at 9:32 | history | closed |
Emil Jeřábek Steven Landsburg Andreas Blass Andrej Bauer Ivan Izmestiev |
Not suitable for this site | |
| Oct 19, 2018 at 19:08 | vote | accept | Gérard Lang | ||
| Oct 19, 2018 at 15:39 | answer | added | Noah Schweber | timeline score: 3 | |
| Oct 19, 2018 at 10:00 | review | Close votes | |||
| Oct 21, 2018 at 9:32 | |||||
| Oct 19, 2018 at 8:01 | history | asked | Gérard Lang | CC BY-SA 4.0 |