| .. |
|
.gitkeep
|
initial commit
|
2023-10-13 23:33:24 +02:00 |
|
facts.tex
|
lecture 18, 19
|
2024-01-04 19:26:34 +01:00 |
|
intro.tex
|
gist intro
|
2024-01-23 20:56:14 +01:00 |
|
lecture_01.tex
|
more gist
|
2024-02-07 22:48:53 +01:00 |
|
lecture_02.tex
|
some changes on lectures 14 / 15
|
2024-02-02 01:48:02 +01:00 |
|
lecture_03.tex
|
more gist
|
2024-02-07 22:48:53 +01:00 |
|
lecture_04.tex
|
some small changes
|
2024-02-04 01:36:10 +01:00 |
|
lecture_05.tex
|
Kuratowski-Ulam gist
|
2024-02-06 23:59:07 +01:00 |
|
lecture_06.tex
|
more details
|
2024-02-08 15:37:08 +01:00 |
|
lecture_07.tex
|
more gist
|
2024-02-07 22:48:53 +01:00 |
|
lecture_08.tex
|
more gist
|
2024-02-07 22:48:53 +01:00 |
|
lecture_09.tex
|
improved lecture 17
|
2024-02-05 20:30:13 +01:00 |
|
lecture_10.tex
|
fixed some typos; currying
|
2024-02-05 15:07:13 +01:00 |
|
lecture_11.tex
|
more details
|
2024-02-06 15:16:20 +01:00 |
|
lecture_12.tex
|
fix
|
2024-01-24 16:06:42 +01:00 |
|
lecture_13.tex
|
countable well-orders
|
2024-02-06 20:25:05 +01:00 |
|
lecture_14.tex
|
more gist
|
2024-02-07 22:48:53 +01:00 |
|
lecture_15.tex
|
more gist
|
2024-02-07 22:48:53 +01:00 |
|
lecture_16.tex
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
|
2024-02-07 16:03:42 +01:00 |
|
lecture_17.tex
|
fixed important typo
|
2024-02-07 16:04:28 +01:00 |
|
lecture_18.tex
|
more gist
|
2024-02-07 22:48:53 +01:00 |
|
lecture_19.tex
|
fixed typo
|
2024-02-08 18:11:45 +01:00 |
|
lecture_20.tex
|
more gist
|
2024-02-07 22:48:53 +01:00 |
|
lecture_21.tex
|
fixed typo in gist
|
2024-02-07 23:22:00 +01:00 |
|
lecture_22.tex
|
some changes
|
2024-02-08 17:31:10 +01:00 |
|
lecture_23.tex
|
some small changes
|
2024-02-07 02:05:20 +01:00 |
|
lecture_24.tex
|
some changes
|
2024-02-08 17:31:10 +01:00 |
|
lecture_25.tex
|
some changes
|
2024-02-08 17:31:10 +01:00 |
|
lecture_26.tex
|
some changes
|
2024-02-08 17:31:10 +01:00 |
|
lecture_27.tex
|
some changes
|
2024-02-08 17:31:10 +01:00 |
|
tutorial_01.tex
|
gist for lectures 1-4
|
2024-01-23 21:52:45 +01:00 |
|
tutorial_02.tex
|
some small changes
|
2024-02-07 02:05:20 +01:00 |
|
tutorial_03.tex
|
some small changes
|
2024-02-07 02:05:20 +01:00 |
|
tutorial_04.tex
|
some small changes
|
2024-02-07 02:05:20 +01:00 |
|
tutorial_05.tex
|
tutorials
|
2023-12-05 17:14:51 +01:00 |
|
tutorial_06.tex
|
improved lecture 17
|
2024-02-05 20:30:13 +01:00 |
|
tutorial_07.tex
|
some small changes
|
2024-02-04 01:13:14 +01:00 |
|
tutorial_08.tex
|
fixed typo
|
2024-02-06 20:00:49 +01:00 |
|
tutorial_09.tex
|
some small changes
|
2024-02-04 01:13:14 +01:00 |
|
tutorial_10.tex
|
Sheet 9, exercise 4
|
2024-01-06 19:04:51 +01:00 |
|
tutorial_11.tex
|
some small changes
|
2024-02-07 02:05:20 +01:00 |
|
tutorial_12.tex
|
improved lecture 17
|
2024-02-05 20:30:13 +01:00 |
|
tutorial_12b.tex
|
some small changes
|
2024-02-06 01:46:55 +01:00 |
|
tutorial_13.tex
|
gist intro
|
2024-01-23 20:56:14 +01:00 |
|
tutorial_14.tex
|
Kuratowski-Ulam gist
|
2024-02-06 23:59:07 +01:00 |
|
tutorial_15.tex
|
fixed typo
|
2024-02-08 00:26:33 +01:00 |
