Timeline for Reduction of the predicate calculus to the propositional calculus in the case of one sigle object in the universe?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2018 at 19:08 | vote | accept | Gérard Lang | ||
| Oct 19, 2018 at 15:45 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 39 characters in body
|
| Oct 19, 2018 at 15:39 | history | answered | Noah Schweber | CC BY-SA 4.0 |