Hasil Pencarian
	Ditemukan 42 dokumen dengan kata kunci 4477 Simpan CSV  On constructive models of theories with linear Rudin-Keisler ordering Pengarang: Alexander Gavryushkin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 793-805 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Residuated Park theories Pengarang: Z. Ésik | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (453-471) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A logical basis for constructive systems Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Modal Operators over Constructive Logic Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Aljabar Linear Pengarang: Lipschutz, Seymour | No. Panggil: 512.5 LIP t | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The Settling Time Reducibility Ordering and Δ02 Sets Pengarang: Barbara F. Csima | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 145-150 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Separating bounded arithmetical theories by Herbrand consistency Pengarang: Saeed Salehi | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 545-560 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The Management of Manufacturing : Models and Analysis Pengarang: Anderson, Edward J | No. Panggil: 658.5 AND m | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Constructive Logic with Strong Negation as a Substructural Logic Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The recursive path and polynomial ordering for first-order and higher-order terms Pengarang: Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, and Albert Rubio | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 263-305 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5  Next