Location: MLP winter 2012/13 | MLP | Courses | CL Homepage | Dept. of Appl. Inf. (AI and DP) | Faculty of Math., Physics, and Inf. | Comenius Univ. Bratislava | Slovakia

Lecture notes for the course 1-AIN-625 Introduction to Mathematical Logic for Programmers Winter 2012/13

This document is available only in Slovak.

* – updated within last 7 days Last modified: 2012-11-05T10:22+0100