Original language | English |
---|---|

Publisher | Springer International Publishing |

Publication status | Published - 2016 |

### Publication series

Name | Progress in Computer Science and Applied Logic |
---|---|

Publisher | Springer |

Volume | 28 |

## Cite this

Kahle, R., Strahm, T., & Studer, T. (2016).

*Advances in Proof Theory*. (Progress in Computer Science and Applied Logic; Vol. 28). Springer International Publishing.