Proof Theory

1. Kanıt kuramı

2. ispat kuramı

Çeviri Öner