Namespaces
Variants
Actions

Difference between revisions of "Intuitionistic predicate calculus"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(redirect)
 
Line 1: Line 1:
See [[Intuitionistic logic|Intuitionistic logic]].
+
#REDIRECT [[Intuitionistic logic]]

Latest revision as of 14:19, 11 July 2018

How to Cite This Entry:
Intuitionistic predicate calculus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Intuitionistic_predicate_calculus&oldid=17788