Combining Texts
Ideas for
'works', 'Formal and Material Consequence' and 'Grundgesetze der Arithmetik 2 (Basic Laws)'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
14185
|
Conditionals are just a shorthand for some proof, leaving out the details [Read]
|