|
|
c75b493354
|
Change explaining sentence of tautology "Tertium non datur"
|
2022-09-11 15:14:53 +02:00 |
|
|
|
9c0a5473a1
|
Remove unnecessary line numbering in truth tables
|
2022-09-11 15:14:03 +02:00 |
|
|
|
d7ab701195
|
Minor changes to clarify and correct correlation between meta- and objectlanguage
|
2022-09-10 14:10:05 +02:00 |
|
|
|
19288086d4
|
Add content to 1_logik.md
|
2022-09-07 23:30:01 +02:00 |
|
|
|
39db9531b8
|
Add content to 1_logik.md
|
2022-08-26 23:04:27 +02:00 |
|
|
|
af98da8db1
|
Fix niklas/niklas_birk_blog#5
|
2022-08-26 20:56:18 +02:00 |
|
|
|
9b5bcb01d2
|
Change section name
|
2022-08-20 21:12:12 +02:00 |
|
|
|
04ec67ee09
|
Add chapter mengenlehre with content and dummy files
|
2022-08-20 21:11:13 +02:00 |
|
