Materiały uzupełniające do wykładu "Logika i teoria typów"