Contributions to Books «Previous Next»

Proof Theory and Formal Grammars - Applications of Normalization

Hans Joerg Tiede, Illinois Wesleyan University

Suggested Citation

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.. Ed. Thoralf Raesch, Wolfgang Malzkorn, Benedikt Loewe. Kluwer, 2003.

The full text of this version of the article is not currently available here. Bookmark