Search alternatives:
"translators" » "translator", "translations", "transistors"
Cover Image
Read Now

1
by Mints, Grigori
Published 2000
Springer US
Table of Contents: “... Logic -- Negative Translation: Glivenko’s Theorem -- Program Interpretation of Intuitionistic Logic...”