Hasil Pencarian
Ditemukan
52
dokumen dengan kata kunci
3610
Simpan CSV
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 |
Koleksi: e-Article Oxford Journal ::
Cari yang mirip
::
Tambahkan ke Favorit
::
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
Pengarang: Arnold Beckmann, Norbert Preining | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (527-547) |
Koleksi: e-Article Oxford Journal ::
Cari yang mirip
::
Tambahkan ke Favorit
::
Prev
1
2
3
4
5
6 Next