Faculty of Mathematics University of Belgrade

Stefan Mitrović

Teaching Assistant

Department of Algebra and Mathematical Logic

Matematička logika u računarstvu

General information

Konsultacije

Pravila prirodne dedukcije

Pravila prirodne dedukcije

LK račun sekvenata

Pravila LK računa

Eliminacija kvantifikatora

Teorema kompaktnosti

Home