1 - An algebraic approach to non-classical logics |
2 - Mathematical problems in computation theory : Papers from the Twenty-sixth semester held in Warsaw, September 16-December 14, 1985 |
3 - The mathematics of metamathematics - Second edition revised |
1 - An algebraic approach to non-classical logics |
2 - Mathematical problems in computation theory : Papers from the Twenty-sixth semester held in Warsaw, September 16-December 14, 1985 |
3 - The mathematics of metamathematics - Second edition revised |