Ditemukan 22 dokumen dengan kata kunci 4468 |
Simpan CSV |
Model-theoretic properties of the n-c.e. degrees
|
Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 669-677 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model-theoretic and Computational Properties of Modal Dependence Logic
|
Pengarang: Merlijn Sevenster | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1157-1173 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model-theoretic characterization of intuitionistic predicate formulas
|
Pengarang: Grigory K. Olkhovikov | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 809-829 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Degrees of Belief
|
Pengarang: Isaac Levi | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 699-719 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
|
Pengarang: Hitoshi Kihara and Hiroakira Ono | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 823-875 |
|
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 ::
|
|
Effective properties of Marker's extensions
|
Pengarang: Ivan N. Soskov | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1335-1367 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Properties of the jump classes
|
Pengarang: Andrew E. M. Lewis | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 845-855 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Enumeration Degrees and Enumerability of Familes
|
Pengarang: Iskander Kalimullin | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 151-158 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Joining non-low C.E. sets with diagonally non-computable functions
|
Pengarang: Laurent Bienvenu, Noam Greenberg, Antonín Kučera, Joseph S. Miller, dll | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1183-1194 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|