Hasil Pencarian
Ditemukan 2 dokumen dengan kata kunci 4682 Simpan CSV Simpan CSV
The Uniformity Principle for Σ-definability
Pengarang: Margarita Korovina and Oleg Kudinov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 159-174 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Exploring the Computational Content of the Infinite Pigeonhole Principle
Pengarang: Diana Ratiu and Trifon Trifonov | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 329-350 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::