Library of American University of Madaba Search for 'su:Logic, Symbolic and mathematical. and su-to:Mathematical Logic and Foundations. and su-to:Computer science.'

Mathematics of Fuzzy Sets and Fuzzy Logic

By Bede, Barnabas.. . XII, 326 p. 75 illus. 9783642352218

Place Hold on Mathematics of Fuzzy Sets and Fuzzy Logic

From Boolean Logic to Switching Circuits and Automata

By Stanković, Radomir S.. . XVIII, 214p. 135 illus., 70 illus. in color. 9783642116827

Place Hold on From Boolean Logic to Switching Circuits and Automata

Logic, Rationality, and Interaction

By Grossi, Davide.. . XII, 363 p. 41 illus. 9783642409486

Place Hold on Logic, Rationality, and Interaction

The Nature of Computation. Logic, Algorithms, Applications

By Bonizzoni, Paola.. . XVIII, 446 p. 42 illus. 9783642390531

Place Hold on The Nature of Computation. Logic, Algorithms, Applications

Typed Lambda Calculi and Applications

By Hasegawa, Masahito.. . XII, 251 p. 18 illus. 9783642389467

Place Hold on Typed Lambda Calculi and Applications

Recent Trends in Algebraic Development Techniques

By Martí-Oliet, Narciso.. . X, 283 p. 71 illus. 9783642376351

Place Hold on Recent Trends in Algebraic Development Techniques

Logical Foundations of Computer Science

By Artemov, Sergei.. . X, 415 p. 49 illus. 9783642357220

Place Hold on Logical Foundations of Computer Science

The Logic of Categorial Grammars

By Moot, Richard.. . X, 300 p. 69 illus. 9783642315558

Place Hold on The Logic of Categorial Grammars

Lectures on Logic and Computation

By Bezhanishvili, Nick.. . VIII, 265 p. 41 illus. 9783642314858

Place Hold on Lectures on Logic and Computation

How the World Computes

By Cooper, S. Barry.. . XVIII, 756p. 42 illus. 9783642308703

Place Hold on How the World Computes

Recent Trends in Algebraic Development Techniques

By Mossakowski, Till.. . X, 303 p. 9783642284120

Place Hold on Recent Trends in Algebraic Development Techniques

Logic, Rationality, and Interaction

By Ditmarsch, Hans.. . XI, 403 p. 9783642241307

Place Hold on Logic, Rationality, and Interaction

The Mathematics of Language

By Kanazawa, Makoto.. . IV, 227p. 9783642232114

Place Hold on The Mathematics of Language

Logic and Games on Automatic Structures

By Kaiser, Łukasz.. . XII, 118 p. 9783642228070

Place Hold on Logic and Games on Automatic Structures

Models of Computation in Context

By Löwe, Benedikt.. . XIII, 319p. 9783642218750

Place Hold on Models of Computation in Context

Typed Lambda Calculi and Applications

By Ong, Luke.. . XII, 245 p. 9783642216916

Place Hold on Typed Lambda Calculi and Applications

Tools for Teaching Logic

By Blackburn, Patrick.. . XI, 257p. 9783642213502

Place Hold on Tools for Teaching Logic

The Argument of Mathematics

By Aberdein, Andrew.. . X, 393 p. 74 illus. 9789400765344

Place Hold on The Argument of Mathematics

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

By Geldsetzer, Lutz.. . XLIV, 137 p. 10 illus. 9789400753013

Place Hold on Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Truth and Falsehood

By Shramko, Yaroslav.. . XIV, 250 p. 9789400709072

Place Hold on Truth and Falsehood

Proof, Computation and Agency

By van Benthem, Johan.. . XXIV, 372 p. 9789400700802

Place Hold on Proof, Computation and Agency

Methods of Cut-Elimination

By Leitsch, Alexander.. . VI, 290 p. 9789400703209

Place Hold on Methods of Cut-Elimination

Dual Tableaux: Foundations, Methodology, Case Studies

By Orlowska, Ewa.. . XVI, 523 p. 9789400700055

Place Hold on Dual Tableaux: Foundations, Methodology, Case Studies

Hybrid Logic and its Proof-Theory

By Braüner, Torben.. . XIII, 231 p. 9789400700024

Place Hold on Hybrid Logic and its Proof-Theory

Natural Deduction, Hybrid Systems and Modal Logics

By Indrzejczak, Andrzej.. . XXIII, 514p. 9789048187850

Place Hold on Natural Deduction, Hybrid Systems and Modal Logics

Logic: A Brief Course

By Mundici, Daniele.. . XI, 130 p. 9788847023611

Place Hold on Logic: A Brief Course

Logica: Metodo Breve

By Mundici, Daniele.. . XI, 126 pagg. 9788847018846

Place Hold on Logica: Metodo Breve

Cylindric-like Algebras and Algebraic Logic

By Andréka, Hajnal.. . 478 p. 9783642350252

Place Hold on Cylindric-like Algebras and Algebraic Logic

Sparsity

By Nešetřil, Jaroslav.. . XXIII, 457p. 132 illus., 100 illus. in color. 9783642278754

Place Hold on Sparsity

Mathematical Lives

By Bartocci, Claudio.. . XIII, 330p. 50 illus. 9783642136061

Place Hold on Mathematical Lives

Ernst Zermelo - Collected Works/Gesammelte Werke

By Zermelo, Ernst.. 9783540793847

Place Hold on Ernst Zermelo - Collected Works/Gesammelte Werke

Ernst Zermelo - Collected Works/Gesammelte Werke II

By Zermelo, Ernst.. . XXIX, 781 p. 56 illus. 9783540708568

Place Hold on Ernst Zermelo - Collected Works/Gesammelte Werke II

A Course on Mathematical Logic

By Srivastava, Shashi Mohan.. . XII, 198 p. 9781461457466

Place Hold on A Course on Mathematical Logic

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher

By Dalen, Dirk.. . XII, 875 p. 97 illus., 19 illus. in color. 9781447146162

Place Hold on L.E.J. Brouwer – Topologist, Intuitionist, Philosopher

A Concise Introduction to Mathematical Logic

By Rautenberg, Wolfgang.. . XXI, 319p. 25 illus. 9781441912213

Place Hold on A Concise Introduction to Mathematical Logic

A Beginner's Guide to Discrete Mathematics

By Wallis, W.D.. . XIII, 427p. 219 illus. 9780817682866

Place Hold on A Beginner's Guide to Discrete Mathematics

The Proof is in the Pudding

By Krantz, Steven G.. . XVII, 264 p. 88 illus., 5 illus. in color. 9780387487441

Place Hold on The Proof is in the Pudding

Mathematical Logic

By Li, Wei.. 9783764399771

Place Hold on Mathematical Logic

Reactive Kripke Semantics

By Gabbay, Dov M.. . XII, 442 p. 201 illus., 10 illus. in color. 9783642413896

Place Hold on Reactive Kripke Semantics

The Complexity of Valued Constraint Satisfaction Problems

By Živný, Stanislav.. . XVII, 170 p. 23 illus. 9783642339745

Place Hold on The Complexity of Valued Constraint Satisfaction Problems

Mathematics of Discrete Structures for Computer Science

By Pace, Gordon J.. . XVI, 293 p. 15 illus. 9783642298400

Place Hold on Mathematics of Discrete Structures for Computer Science

Apartness and Uniformity

By Bridges, Douglas S.. . XIV, 198 p. 9783642224157

Place Hold on Apartness and Uniformity

Conditionals and Modularity in General Logics

By Gabbay, Dov M.. . IX, 233 p. 9783642190681

Place Hold on Conditionals and Modularity in General Logics

Foundations of Algebraic Specification and Formal Software Development

By Sannella, Donald.. . XVI, 584 p. 9783642173363

Place Hold on Foundations of Algebraic Specification and Formal Software Development

Logical Tools for Handling Change in Agent-Based Systems

By Gabbay, Dov M.. . X, 305p. 9783642044076

Place Hold on Logical Tools for Handling Change in Agent-Based Systems

Cognitive Reasoning

By Gergely, Tamás.. . X, 437p. 9783540688754

Place Hold on Cognitive Reasoning

From Linear Operators to Computational Biology

By Davis, Martin.. . XI, 208 p. 16 illus. 9781447142829

Place Hold on From Linear Operators to Computational Biology

Belief Revision in Non-Classical Logics

By Ribeiro, Márcio Moretto.. . XI, 120 p. 5 illus. 9781447141860

Place Hold on Belief Revision in Non-Classical Logics

Mathematical Logic for Computer Science

By Ben-Ari, Mordechai.. . XV, 346 p. 79 illus. 9781447141297

Place Hold on Mathematical Logic for Computer Science

The P=NP Question and Gödel’s Lost Letter

By Lipton, Richard J.. . XIII, 239p. 20 illus. 9781441971555

Place Hold on The P=NP Question and Gödel’s Lost Letter