Advanced Search

home List of Authors author

Feng Gao

1 articles in 1 journals

ARTICLE TITLE YEAR AUTHORS ACTIONS

A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics Published in: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4 / p. 131 - 148

2015

Feng Gao George Tourlakis

Plain Text
Feng Gao, George Tourlakis, A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 131 - 148

BIBTEX
@Article{ authors = "Feng Gao, George Tourlakis", title = "A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "131 - 148" }