//]]>
A concise introduction to pure mathematics / by Liebeck, M. W. Publication: Boca Raton, FL : Taylor & Francis, 2011 . xv, 252 p. : 24 cm. Date:2011 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A concise introduction to mathematical logic / by Rautenberg, Wolfgang. Publication: New York, NY : Springer, 2010 . xxi, 319 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical logic / by Chiswell, Ian, Publication: London : Oxford University Press, 2007 . viii, 250 p. : 25 cm. Date:2007 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Handbook of mathematical induction : , theory and applications / by Gunderson, David S. Publication: Boca Raton, FL : CRC Press, 2011 . xxv, 893 p. : 27 cm. Date:2011 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Introduction to mathematical logic / by Mendelson, Elliott. Publication: Boca Raton, FL : CRC Press, 2010 . xxiv, 469 p. : 25 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Diamond : , a paradox logic / by Hellerstein, N. S. Publication: Singapore : World Scientific, 2010 . xiv, 294 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A course in mathematical logic for mathematicians / by Manin, IU. I. Publication: New York : Springer, 2010 . xvii, 384 p. : 25 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A science of operations : , machines, logic and the invention of programming / by Priestley, Mark. Publication: New York : Springer, 2011 . ix, 341p. ; 25 cm. Date:2011 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Abstract sets and finite ordinals : , an introduction to the study of set theory / by Keene, G. B. Publication: Mineola, N.Y. : Dover Publications, 2007 . vi, 106 p. : 22 cm. Date:2007 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated deduction, CADE-20 : , 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /   Publication: Berlin : Springer, 2005 . xiii, 457 p. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart

Languages: 
English |
العربية