-
Notifications
You must be signed in to change notification settings - Fork 0
kovzol/logik
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
# Logik für Lehramt Mathematik (Skriptum)
This repository maintains the lecture notes for the course "Logik für
Lehramt Mathematik" ("Logic for mathematics teachers"), held at JKU/PHDL,
Linz, Austria, as an optional subject for the students.
The document is written with the TeXmacs scientific editor.
About
Logik für Lehramt Mathematik
Topics
Resources
Stars
Watchers
Forks
Packages 0
No packages published