Ditemukan 40 dokumen dengan kata kunci 4477 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
Aljabar Linear
|
|
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 ::
|
|
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
|
|
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 ::
|
|
Aljabar Linear : Dasar Ekonometri
|
|