Hasil Pencarian
	Ditemukan 3 dokumen dengan kata kunci 4358 Simpan CSV  An axiomatization of ECTL Pengarang: Ryo Kashima | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.117-133 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Nominal Axiomatization of the Lambda Calculus Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 501-531 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification Pengarang: Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 885-911 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::