Login / Signup

A new semantics for intuitionistic predicate logic.

Yuichi Komori
Published in: Stud Logica (1986)
Keyphrases