Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
BROUWER-HEYTING-KOLMOGOROV INTERPRETATION
Published in A Dictionary of Philosophical Logic
(2009)
Get full text
Reference