Search alternatives:
"translators" » "translator", "transistors", "translates"
"translations" » "translation"
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...”