Besonderhede van voorbeeld: -373058204615884521

English

In Foundations of Mathematical Logic Curry develops the topic from an algebraic basis using Gentzen 's methods.

Korean

수학 논리 카레의 기초에서 대수 기준에서 Gentzen '방법을 사용하여 주제들 개발하고있다.