Mathematical logic

Stephen Cole Kleene · Dover Publications · 2002

Wikipedia

{{cite book |last=Kleene |first=Stephen Cole |title=Mathematical logic |publisher=Dover Publications |year=2002 |isbn=9780486425337}}