Hasil Pencarian
	Ditemukan 3 dokumen dengan kata kunci 4688 Simpan CSV  Synthesizing Monadic Predicates Pengarang: Carlo Meghini and Nicolas Spyratos | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 831-847 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On the existence of a modal-logical basis for monadic second-order logic Pengarang: Lauri Hella and Tero Tulenheimo | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 157-180 | 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  ::