Content deleted Content added
create article |
→References: rm hanging tag |
||
Line 37:
| year = 1999
| pages = 337–405
}}
[[Category:Proof theory]]
|
create article |
→References: rm hanging tag |
||
Line 37:
| year = 1999
| pages = 337–405
}}
[[Category:Proof theory]]
|