Login / Signup
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.
Georg Kreisel
Hilary Putnam
Published in:
Arch. Math. Log. (1957)
Keyphrases
</>