Journal of Mathematical Logic. 2008;8(2):251-280. doi: 10.1142/S0219061308000774 Q10.92025

THE ∀∃ THEORY OF PEANO Σ ₁ SENTENCES

LINDSTRÖM, PER; SHAVRUKOV, V. YU.

DOI: 10.1142/S0219061308000774

期刊名：Journal of mathematical logic

缩写：J MATH LOG

ISSN：0219-0613

e-ISSN：1793-6691

IF/分区：0.9/Q1

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：

THE ∀∃ THEORY OF PEANO Σ 1 SENTENCES