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

1
by Cook, Stephen, Nguyen, Phuong
Published 2010
Cambridge University Press
“... bounded theorem in a theory translates into a family of (quantified) propositional tautologies...”