Литерал (математичка логика) — разлика између измена

* -{Buss,{Cite book |ref= harv|last=Buss|first=Samuel|title (1998).= "An introduction to proof theory". | publisher = 1–78, Elsevier |location = Handbook of proof theory:| 1–78,year Elsevier.= 1998 |id=ISBN 0-444-89840-9.}-}