Tag:Csci499h
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
logic math philosophy mathematics intuitionistic calculus sequent problem-solving set nonbeard haskell-types theory topos-theory computability-logic constructivemathematics intuitionist intuitionistic-logic .imported ciencia typetheory lk constructivism learning getzen pl>lisp>qi wiki-entry wikipediapage prolog sequence research proof-theory wikipedia-entry people-richard_gentzen gentzen deduction haskell-sequent-calculus gentzen-systems logics sequent-calculus sequent-calculi-lk mathematical-logic
Articles
- Sequent calculus (1)logic math calculus sequent wikipedia research proof-theory sequence prolog pl>lisp>qi wiki-entry wikipediapage wikipedia-entry people-richard_gentzen sequent-calculus sequent-calculi-lk logics gentzen-systems gentzen deduction csci499h getzen haskell-sequent-calculus mathematics mathematical-logic lk haskell-types nonbeard
- Intuitionistic logic (1)
Retrieved from "http://en.wikipedia.org/wiki/Tag:Csci499h"
