//]]>
Introduction to mathematical proofs : , a transition / by Roberts, Charles E., Publication: Boca Raton, FL : CRC Press, 2009 . viii, 425 p. : 25 cm. Date:2009 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
Logics in artificial intelligence : , 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings /   Publication: Berlin : | New York : 2010 . xiii, 372 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (2),
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
On Fuzziness by Seising, Rudolf. Publication: . XXXVIII, 429 p. 109 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Fuzzy Sets and Fuzzy Logic by Bede, Barnabas. Publication: . XII, 326 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On Intuitionistic Fuzzy Sets Theory by Atanassov, Krassimir T. Publication: . XII, 280p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
From Boolean Logic to Switching Circuits and Automata by Stanković, Radomir S. Publication: . XVIII, 214p. 135 illus., 70 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Grossi, Davide. Publication: . XII, 363 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Nature of Computation. Logic, Algorithms, Applications by Bonizzoni, Paola. Publication: . XVIII, 446 p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Martí-Oliet, Narciso. Publication: . X, 283 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Foundations of Computer Science by Artemov, Sergei. Publication: . X, 415 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 Next >>