English
Unordered
ACM Transactions on Computational Logic
Japaridze, Giorgi
2006 April 01
مشاهدهٔ کتاب
کشف منابع
logic
کتابها
175 نتیجه
English
Unordered
ACM Transactions on Computational Logic
Bauer, Matthew S.
2014 March 06
مشاهدهٔ کتاب
English
Unordered
Bulletin of Symbolic Logic
Review by: Carlos Augusto Di Prisco
2002 March
مشاهدهٔ کتاب
English
Unordered
Journal of Logic and Computation
Soskova, A.; Barry Cooper, S.; Sorbi, A.
2011 August 11
مشاهدهٔ کتاب
English
Unordered
Journal of Symbolic Logic
Crossley, John N.; Hodges, Andrew; Herken, Rolf; Kleene, Stephen C.; Gandy, Robin; Feferman, Solomon;[...]Davis, Martin; Phillips, Esther R.
1991 September
مشاهدهٔ کتاب
English
Unordered
Mathematical Logic Quarterly
William Gay; Bing-Yu Zhang; Ning Zhong
2001 January
مشاهدهٔ کتاب
English
Unordered
Mathematical Logic Quarterly
Vasco Brattka; Ruth Dillhage
2007 September
مشاهدهٔ کتاب
English
Unordered
Annals of Pure and Applied Logic
Vasco Brattka; Ruth Dillhage
2010 December
مشاهدهٔ کتاب
English
Unordered
Annals of Pure and Applied Logic
Andrew E.M. Lewis; George Barmpalias
2007 March
مشاهدهٔ کتاب
English
Unordered
Annals of Pure and Applied Logic
Rod Downey; Zoltán Füredi; Carl G. Jockusch Jr.; Lee A. Rubel
1998 April
مشاهدهٔ کتاب
English
Unordered
Annals of Pure and Applied Logic
Klaus Ambos-Spies; Arnold Beckmann; Samuel R. Buss; Benedikt Löwe
2012 May
مشاهدهٔ کتاب