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

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Propositional quantification in intuitionistic logic -- Sketch-as-proof -- Translating set theoretical proofs...”