Hasil Pencarian
Ditemukan 2 dokumen dengan kata kunci 4571 Simpan CSV 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  ::