Proof theory.

Overview
Works: 55 works in 22 publications in 22 languages
Titles
Problems and proofs in numbers and algebra by: (Language materials, printed)
Methods of cut-elimination by: (Language materials, printed)
Ways of proof theory / by: (Language materials, printed)
Show more
Subjects
 
 
Change password
Login