Login / Signup

A Semantics of Realisability for the Classical Propositional Natural Deduction.

Karim NourKhelifa Saber
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases