|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
On Fuzziness
by Seising, Rudolf.
Publication:
. XXXVIII, 429 p. 109 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Mathematics of Fuzzy Sets and Fuzzy Logic
by Bede, Barnabas.
Publication:
. XII, 326 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
On Intuitionistic Fuzzy Sets Theory
by Atanassov, Krassimir T.
Publication:
. XII, 280p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
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),
|
|
| |
Logic, Rationality, and Interaction
by Grossi, Davide.
Publication:
. XII, 363 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
The Nature of Computation. Logic, Algorithms, Applications
by Bonizzoni, Paola.
Publication:
. XVIII, 446 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Typed Lambda Calculi and Applications
by Hasegawa, Masahito.
Publication:
. XII, 251 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Recent Trends in Algebraic Development Techniques
by Martí-Oliet, Narciso.
Publication:
. X, 283 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Logical Foundations of Computer Science
by Artemov, Sergei.
Publication:
. X, 415 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
