Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg

被引：0

作者：

Harold Schellinx

机构：

[1] Utrecht University,Mathematisch Instituut

来源：

Journal of Logic, Language and Information | 1998年 / 7卷 / 2期

关键词：

D O I：

10.1023/A:1008226228293

中图分类号：

学科分类号：

摘要：

引用

页码：221 / 223

页数：2

共 50 条

[41] Concerning the H. Lorenz theory on gyroscopes.
von Mises, R
PHYSIKALISCHE ZEITSCHRIFT, 1907, 8 : 314 - 318
[42] New basic unit rate control method for H. 264
Shi, Ying-Bo
Wu, Cheng-Ke
Wang, Yang-Li
Xiao, Song
Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2006, 28 (11): : 1766 - 1769
[43] Erik H. Erikson. Basic Positions of his Work
Seiffge-Krenke, Inge
PRAXIS DER KINDERPSYCHOLOGIE UND KINDERPSYCHIATRIE, 2021, 70 (02) : 172 - 174
[44] The ninth stage in the cycle of life - reflections on E. H. Erikson's theory
Bugajska, Beata E.
AGEING & SOCIETY, 2017, 37 (06) : 1095 - 1110
[45] Reconciling faith and reason: T. H. Green's theory of human agency
Paylor, Adrian
INTERNATIONAL JOURNAL OF PHILOSOPHY AND THEOLOGY, 2018, 79 (1-2) : 156 - 177
[46] New proof of a theorem by G. H. Hardy and S. Ramanujan on the asymptotic behaviour of disintegral coefficients
Avakumovic, VG
AMERICAN JOURNAL OF MATHEMATICS, 1940, 62 : 877 - 880
[47] Toward an Intersectional Theory of Practice: Integrating Pierre Bourdieu's and Patricia H. Collins's Thought
Romero-Moreno, Aran
SOCIOLOGICAL THEORY, 2025,
[48] MAKARENKO,A.S. AND CURRENT PROBLEMS IN THE THEORY OF THE COMMUNIST UPBRINGING OF SCHOOL PUPILS
MONOSZON, EI
SOVIET EDUCATION, 1978, 20 (12): : 5 - 24
[49] MORPHOLOGICAL ANALYSIS ON THE EVOLUTION OF H. H. RICHARDSON'S TRINITY CHURCH.
Koyama, Hisao
Journal of the Faculty of Engineering, University of Tokyo, Series B, 1980, 35 (03): : 355 - 367
[50] Selling a theory: The role of molecular models in J. H. van 't Hoff's stereochemistry theory
Van der Spek, Trienke M.
ANNALS OF SCIENCE, 2006, 63 (02) : 157 - 177

← 1 2 3 4 5 →