Login / Signup

Quantum deduction rules.

Pavel Pudlák
Published in: Ann. Pure Appl. Log. (2009)
Keyphrases