"Melyik másik jegyzet?"

Introduction to mathematical logic a címe. CEU-ban tartott kurzushoz készült.

Az Általad írt levezetési rendszer, a Kope-jegyzetben lévőhöz hasonló leginkább.