FA Sign in

Discover references

proof theory

Books

5 results

Cover of Introduction to Linear Logic

English Beginner

Introduction to Linear Logic

T. Brauner

View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Ning Zhong; Bing-Yu Zhang

1999 View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Daren Kunkle

2004 September View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Yongcheng Wu; Decheng Ding

2005 November View book

Cover of Archive for Mathematical Logic

English Unordered

Archive for Mathematical Logic

Yongcheng Wu; Decheng Ding

2005 November 10 View book