Matematicka logikaPreliminary 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 |