Semantic Scholar Open Access 1999 1435 sitasi

Subsystems of second order arithmetic

S. G. Simpson

Lihat Sumber DOI

Topik & Kata Kunci

Mathematics Computer Science

S. G. Simpson

APA MLA BibTeX

Simpson, S.G. (1999). Subsystems of second order arithmetic. https://doi.org/10.1017/cbo9780511581007

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1017/cbo9780511581007

Informasi Jurnal