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 条

[1] A DIRECT PROOF OF SCHWICHTENBERG'S BAR RECURSION CLOSURE THEOREM
Oliva, Paulo
Steila, Silvia
JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (01) : 70 - 83
[2] About H. Simroth's pendulation theory
Fischer, E
NATURWISSENSCHAFTEN, 1914, 2 : 949 - 955
[3] Another proof and a generalization of a theorem of H. H. Bauschke on monotone operators
Alves, M. Marques
OPTIMIZATION, 2022, 71 (01) : 91 - 96
[4] A NEW PROOF OF THE WHITNEY,H. THEOREM
SENDOV, B
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1982, 35 (05): : 609 - 611
[5] Towards a proof theory for basic logic
Vetterlein, Thomas
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007, 42 : 850 - 860
[6] On H. Lorenz's theory of turbine wheels.
von Mises, R
PHYSIKALISCHE ZEITSCHRIFT, 1907, 8 : 509 - 510
[7] Reply to H. Dingler's criticism of the theory of relativity
Reichenbach, H
PHYSIKALISCHE ZEITSCHRIFT, 1921, 22 : 379 - 384
[8] Comment on H. Hulshof's theory of surface tension
Bakker, G
ANNALEN DER PHYSIK, 1904, 14 (08) : 609 - 619
[9] T. H. Green's theory of punishment
Brooks, T
HISTORY OF POLITICAL THOUGHT, 2003, 24 (04) : 685 - 701
[10] A SIMPLE PROOF OF AN APPROXIMATION THEOREM OF MINKOWSKI,H.
SCHMUCKENSCHLAEGER, M
GEOMETRIAE DEDICATA, 1993, 48 (03) : 319 - 324

← 1 2 3 4 5 →