| Ditemukan 36 dokumen dengan kata kunci 4535 |
Simpan CSV  |
|
Can We Make the Second Incompleteness Theorem Coordinate Free?
|
| Pengarang: Albert Visser | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 543-560 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
I Can Make You Rich
|
|
|
|
Interrogatives, Recursion, and Incompleteness
|
| Pengarang: Andrzej Wiśniewski and Jerzy Pogonowski | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1187-1199 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Ways To Make Atraining Active
|
|
|
|
Nominal Algebra and the HSP Theorem
|
| Pengarang: Murdoch J. Gabbay | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 341-367 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Scratch Programming : Shall We Learn
|
|
|
|
Can believable characters act unexpectedly?
|
| Pengarang: Antoine Saillenfest and Jean-Louis Dessalles | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 606-620) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Calculus [Second Edition]
|
|
|
|
How to make up one's mind
|
| Pengarang: Li Zhang and Sven Ove Hansson | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 705-717) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On generalizing free algebras for a functor
|
| Pengarang: Dion C. S. Coumans and Samuel J. van Gool | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 645-672 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
