Metalogika : wstep do metateorii standardowej logiki pierwsego rzedu - Hunter, Geoffrey (rz1, 1982)