Mathematical logic

An Introduction to Many-Valued and Fuzzy Logic: Semantics,...

Massachusetts) Bergmann Merrie (Smith College

Tools and Techniques in Modal Logic

Germany) Kracht Berlin II. Mathematisches Institut M. (Freie Universitat Berlin

Continuous Lattices and Domains

Louisiana) Mislove M. (Tulane University, Riverside) Gierz G. (University of California, et al.

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Toronto) Tourlakis George (York University

Domains and Lambda-Calculi

Roberto M. (Universite de Provence) Amadio i Paris) Curien Pierre-Louis (Ecole Normale Superieure

Twenty Five Years of Constructive Type Theory

University of Padua) Sambin Professor of Mathematical Logic Giovanni (Professor of Mathematical Logic i Chalmers University of Technolog Department of Computing Science Professor Department of Computing Science Jan M. (Professor

Fuzzy Expert System Tools

Moti Schneider, Gideon Langholz, et al.

Fuzzy Automata and Languages: Theory and Applications

John N. Mordeson i Davender S. Malik

Proof-Theoretical Coherence

Kosta Dosen i Zoran Petric