- Заглавие:
A survey of proof theory
- Автор:
Kreisel G.
- Язык текста:
Английский
- Сведения об источнике:
The Journal of Symbolic Logic. – 1968. – Vol. 33, № 3. – P. 321–388.
Библиографический источник
A survey of proof theory
G. Kreisel
G. Kreisel
A survey of proof theory
Kreisel G.
Английский
The Journal of Symbolic Logic. – 1968. – Vol. 33, № 3. – P. 321–388.