Osnovanija matematičeskoj logiki - Curry, Haskell B. (Moskva : Mir, 1969)
Prijevod djela: Foundations of mathematical logic
Predgovor
Bilješke uz tekst
Transliteracija: ćirilica ruska
Str. 518-547: Bibliografija
Kazalo
Keywords: logika - matematička logika