DECISION PROBLEMS FOR MULTIPLE SUCCESSOR ARITHMETICS

被引：6

作者：

THATCHER, JW

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 02期

关键词：

D O I：

10.2307/2269809

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：182 / &

相关论文

共 9 条

[1]

ASSER G, 1960, FUNDAMENTA MATHEMATI, V6, P258

[2]

BUCHI JR, 1960, Z MATH LOGIK GRUNDLA, V6, P66

[3]

ELGOT CC, 1959, THESIS U MICHIGAN

[4]

PRESBURGER M, 1929, 1 K MAT KRAJ SLOW WA, P395

[5]

PRESBURGER M, 1929, 1 COMPT REND C MATH, P29

[6]

Quine W. V., 1946, J SYMBOLIC LOGIC, V11, P105

[7]

TARSKI A, 1930, STUDIA PHILOSOPHICA, V1, P361

[8]

THATCHER JW, 1964, THESIS U MICHIGAN

[9]

[No title captured]