Hasil Pencarian
Ditemukan
2
dokumen dengan kata kunci
4571
Simpan CSV
Interrogatives, Recursion, and Incompleteness
Pengarang: Andrzej Wiśniewski and Jerzy Pogonowski | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1187-1199 |
Koleksi: e-Article Oxford Journal ::
Cari yang mirip
::
Tambahkan ke Favorit
::
Can We Make the Second Incompleteness Theorem Coordinate Free?
Pengarang: Albert Visser | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 543-560 |
Koleksi: e-Article Oxford Journal ::
Cari yang mirip
::
Tambahkan ke Favorit
::