mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Courses » Λ13Ξ. Intuitionistic logic and constructive mathematics Anonymously browsing from 54.198.165.74 at 23:08:27, 23-09-2017. login

Λ13Ξ. Intuitionistic logic and constructive mathematics

Constructivism in mathematics. The BHK Interpretation of the logical operators. Natural deduction and Hilbert-type formal systems for intuitionistic propositional and first-order predicate logic. Kripke semantics. Primitive recursive arithmetic PRA, Heyting arithmetic HA. Number realizability. Introduction to constructive analysis.

Given in semesters

semester teaching students
2012-2013, spring semester Garyfallia Vafeiadou 9

Comments

You must be logged in to comment.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.