PROPOSITIONAL CALCULUS AND REALIZABILITY

[1] A set of postulates for the foundation of logic. [J]. ANNALS OF MATHEMATICS, 1932, 33 : 346 - 366

[2] GLIVENKO V, 1929, B ACAD SCI BELGIQUE, V15, P183

[3] Godel K., 1930, MONATSHEFTE MATH PHY, V37, P103, DOI DOI 10.1007/BF01696781

[4] GODEL K, 1933, ERGEBNISSE MATH K, V4, P40

[5] Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692

[6] HENKIN L, 1949, FUND MATH, V37, P63

[7] Heyting A., 1930, PREUSS AKAD WISS PM, P42

[8] HEYTING A, 1930, PREUSS AKAD WISS SIT, P158

[9] HEYTING A, 1930, PREUSS AKAD WISS PM, P57

[10] JASKOWSKI S, 1936, ACTES C INTER PHIL S, P58

[1] A set of postulates for the foundation of logic. [J]. ANNALS OF MATHEMATICS, 1932, 33 : 346 - 366

[2] GLIVENKO V, 1929, B ACAD SCI BELGIQUE, V15, P183

[3] Godel K., 1930, MONATSHEFTE MATH PHY, V37, P103, DOI DOI 10.1007/BF01696781

[4] GODEL K, 1933, ERGEBNISSE MATH K, V4, P40

[5] Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692

[6] HENKIN L, 1949, FUND MATH, V37, P63

[7] Heyting A., 1930, PREUSS AKAD WISS PM, P42

[8] HEYTING A, 1930, PREUSS AKAD WISS SIT, P158

[9] HEYTING A, 1930, PREUSS AKAD WISS PM, P57

[10] JASKOWSKI S, 1936, ACTES C INTER PHIL S, P58