Mathematical logic

Fuzzy Expert System Tools

Gideon Langholz, Abraham Kandel, et al.

General Recursion Theory: An Axiomatic Approach

Jens E. (Universitetet i Oslo) Fenstad

Cardinal Arithmetic

Department of Mathematic Professor Rutgers University; Institute of Mathematics Department of Mathematics Saharon (Professor

Classical Recursion Theory, Volume II

Italy) Odifreddi P. (University of Turin

Tools and Techniques in Modal Logic

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

Proof-Theoretical Coherence

Kosta Dosen i Zoran Petric

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

Toronto) Tourlakis George (York University

Continuous Lattices and Domains

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

Set Theory with a Universal Set: Exploring an Untyped Universe

U Department of Pure Mathematics and Mathematical Statistics T. E. (Department of Pure Mathematics and Mathematical Statistics

The Nuts and Bolts of Proofs: An Introduction to Mathematical...

U.S.A.) Cupillari Behrend College Antonella (Pennsylvania State Erie

Diamond: A Paradox Logic

Usa) Hellerstein Nathaniel S (City College Of San Francisco

Saturated Model Theory (2nd Edition)

Usa) Sacks Gerald E (Harvard Univ