Ditemukan 37 dokumen dengan kata kunci 4541 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Topological Study of the Closed Fragment of GLP
|
Pengarang: Thomas Icard | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 683-696 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Compactness arguments with effectively closed sets for the study of relative randomness
|
Pengarang: George Barmpalias | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 679-691 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Nested sequents for provability logic GLP
|
Pengarang: Daniyar Shamkanov | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 789-815) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Semantically closed intuitionistic abstract logics
|
Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 |
|
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 ::
|
|
On Dynamic Topological Logic of the Real Line
|
Pengarang: Maria Nogin and Aleksey Nogin | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1029-1045 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The expressive power of first-order topological languages
|
Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1107-1141 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Borel Complexity of Topological Operations on Computable Metric Spaces
|
Pengarang: Vasco Brattka and Guido Gherardi | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 45-76 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Existentially Closed Models and Conservation Results in Bounded Arithmetic
|
Pengarang: A. Cordón-Franco, A. Fernández-Margarit, and F. F. Lara-Martín | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 123-143 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Elementarily equivalent structures for topological languages over regions in Euclidean space
|
Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 457-471 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|