Matematicka logika

Preliminary lecture notes discussing basics of mathematical logic and metamathematics of arithmetic. Not self-contained; in many places the reader is directed to Stepanek's lecture notes (MFF UK 1982) for proofs and further details.

Download
My home page Dept. of Logic Charles University


Updated: 03-09-05 by vs