Proof Theory
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Cambridge University Press

9780521414135, 9780521054164, 9780511896262
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proofs as Programs

Proof Theory ◽  
1993 ◽  
pp. 79-114 ◽  
Author(s):  
Helmut Schwichtenberg

Basic proof theory

Proof Theory ◽  
1993 ◽  
pp. 1-26 ◽  
Author(s):  
S.S. Wainer ◽  
L.A. Wallen
Keyword(s):  
Proof Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document