Volume 37; Issue 4

1

Infinite Versions of Some Problems from Finite Complexity Theory

Year:
1996
Language:
english
File:
PDF, 77 KB
english, 1996
2

Finite Sets and Natural Numbers in Intuitionistic TT

Year:
1996
Language:
english
File:
PDF, 151 KB
english, 1996
3

Simplified Lower Bounds for Propositional Proofs

Year:
1996
Language:
english
File:
PDF, 184 KB
english, 1996
4

Logic in Russell's Principles of Mathematics

Year:
1996
Language:
english
File:
PDF, 161 KB
english, 1996