| Ditemukan 29 dokumen dengan kata kunci 4680 |
Simpan CSV  |
|
The Settling Time Reducibility Ordering and Δ02 Sets
|
| Pengarang: Barbara F. Csima | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 145-150 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Singleton enumeration reducibility and arithmetic
|
| Pengarang: Daniele Marsibilio and Andrea Sorbi | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1267-1292 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Indifferent Sets
|
| Pengarang: Santiago Figueira, Joseph S. Miller, and André Nies | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 425-443 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Some properties of maximal sets
|
| Pengarang: Roland SH. Omanadze and Irakli O. Chitaia | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 628-639) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On constructive models of theories with linear Rudin-Keisler ordering
|
| Pengarang: Alexander Gavryushkin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 793-805 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
K-Triviality of Closed Sets and Continuous Functions
|
| Pengarang: George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, and Rebecca Weber | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 3-16 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Charlie Bone and The Time Twister
|
|
|
|
The recursive path and polynomial ordering for first-order and higher-order terms
|
| Pengarang: Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, and Albert Rubio | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 263-305 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Enumeration of the adjunctive hierarchy of hereditarily finite sets
|
| Pengarang: Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 943-963)
|
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Counting the changes of random Δ20 sets
|
| Pengarang: Santiago Figueira,Denis R. Hirschfeldt,Joseph S. Miller,Keng Meng Ng, | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1073-1089) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
