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

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