"Proof Theory and Formal Grammars - Applications of Normalization" by Hans Joerg Tiede

Selected Works of Hans Joerg Tiede

Follow Contact

Contribution to Book

Proof Theory and Formal Grammars - Applications of Normalization

Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics. (2003)

Hans Joerg Tiede, Illinois Wesleyan University

Disciplines

Linguistics and
Mathematics

Publication Date

2003

Editor

Thoralf Raesch, Wolfgang Malzkorn, Benedikt Loewe

Publisher

Kluwer

Citation Information

Hans Joerg Tiede. "Proof Theory and Formal Grammars - Applications of Normalization" Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics. (2003)
Available at: http://works.bepress.com/htiede/5/