Osnovanija matematičeskoj logiki - Curry, Haskell B. (Mir, 1969)
Prijevod djela: Foundations of mathematical logic
Predgovor
Bilješke uz tekst
Transliteracija: ćirilica ruska