Učbenik za predmet Logika in množice, 1. letnik matematike na Fakulteti za matematiko in fiziko, Univerza v Ljublani.
Struktura repozitorija:
zapiski-- zapiski s predavanj, ki jih postopoma pretapljamo iz Markdown v LaTeXucbenik-- izvorna koda za učbenik, ki se bo nekega dne združil z zapiski
(c) 2017 Andrej Bauer in Davorin Lešnik
To delo je izdano pod licenco CC BY-NC-ND 4.0.