Difference between revisions of "Intuitionistic predicate calculus"

Latest revision as of 14:19, 11 July 2018

Redirect to:

Intuitionistic logic

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

Revision as of 17:23, 7 February 2011 (view source) 127.0.0.1 (talk) (Importing text file)		Latest revision as of 14:19, 11 July 2018 (view source) Ivan (talk \| contribs) (redirect)
Line 1:		Line 1:
−	~~See~~ [[~~Intuitionistic logic\|~~Intuitionistic logic]].	+	#REDIRECT [[Intuitionistic logic]]

Navigation

Tools

Namespaces

Variants

Views

Actions

Difference between revisions of "Intuitionistic predicate calculus"

Latest revision as of 14:19, 11 July 2018