Namespaces
Variants
Actions

Information for "Sequent calculus"

Jump to: navigation, search

Basic information

Display titleSequent calculus
Default sort keySequent calculus
Page length (in bytes)7,794
Page ID508
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creator127.0.0.1 (talk)
Date of page creation18:56, 7 February 2011
Latest editor127.0.0.1 (talk)
Date of latest edit18:56, 7 February 2011
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0
How to Cite This Entry:
Sequent calculus. A.G. Dragalin (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Sequent_calculus&oldid=11707
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098