# Information for "Sequent calculus"

## Basic information

Display title | Sequent calculus |

Default sort key | Sequent calculus |

Page length (in bytes) | 7,794 |

Page ID | 508 |

Page content language | English (en) |

Page content model | wikitext |

Indexing by robots | Allowed |

Number of redirects to this page | 0 |

Counted as a content page | Yes |

## Page protection

Edit | Allow all users (infinite) |

Move | Allow all users (infinite) |

## Edit history

Page creator | 127.0.0.1 (talk) |

Date of page creation | 18:56, 7 February 2011 |

Latest editor | 127.0.0.1 (talk) |

Date of latest edit | 18:56, 7 February 2011 |

Total number of edits | 1 |

Total number of distinct authors | 1 |

Recent number of edits (within past 90 days) | 0 |

Recent number of distinct authors | 0 |

**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