reasoning

English Unordered

The Knowledge Engineering Review

WU, KANGHENG; YANG, QIANG; JIANG, YUNFEI

2007 June 01 View book

English Unordered

Journal of Applied Logic

Wenyan Xu; Sanyang Liu

2012 December View book

English Unordered

ACM Transactions on Computational Logic

Japaridze, Giorgi

2006 April 01 View book

Cover unavailable

English Unordered

ACM Transactions on Computational Logic

Bauer, Matthew S.

2014 March 06 View book

English Unordered

Oxford Texts in Logic, Volume 1

Shawn Hedman

2004 View book

English Unordered

Mathematical Logic Quarterly

Bakhadyr Khoussainov

2000 October View book

English Unordered

Mathematical Logic Quarterly

Armin Hemmerling

1998 View book

English Unordered

The Knowledge Engineering Review

WU, KANGHENG; YANG, QIANG; JIANG, YUNFEI

2007 June 01 View book

English Unordered

The Knowledge Engineering Review

Rawlings, C. J.

1988 June View book

English Unordered

Mathematical Thinking and Writing: A Transition to Higher Mathematics

Maddox R.

2001 View book

English Unordered

Mathematical Thinking and Writing: A Transition to Higher Mathematics

Randall Maddox

2001 View book

Cover unavailable

English Unordered

Journal of Symbolic Logic

Pitts, Andrew M.

1995 March View book

Cover unavailable

English Unordered

Journal of Symbolic Logic

Pitts, Andrew M.

1995 March View book

Cover unavailable

English Unordered

Journal of Symbolic Logic

Pitts, Andrew M.

1995 March View book