Tag:People-richard_gentzen
From Wikipedia, the free encyclopedia
Jump to:
navigation
,
search
Related Tags
math
logic
calculus
sequent
csci499h
getzen
gentzen
haskell-sequent-calculus
deduction
mathematical-logic
nonbeard
haskell-types
lk
gentzen-systems
mathematics
sequent-calculus
prolog
sequence
proof-theory
research
pl>lisp>qi
wiki-entry
sequent-calculi-lk
wikipedia-entry
wikipediapage
logics
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
Views
Article
Discussion
Edit this page
History
Tags
Personal tools
Log in / create account
Navigation
Main page
Contents
Featured content
Current events
Random article
Search
Interaction
About Wikipedia
Community portal
Recent changes
Contact Wikipedia
Donate to Wikipedia
Help
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
Cite this page