Mathematical logic

Inner Models and Large Cardinals

Martin Zeman


Fine Structure and Class Forcing

Sy D. Friedman


Proof-theoretic Semantics

Haifa) Francez Dr Nissim (Technion - Israel Institute of Technology


Matrix Partial Orders, Shorted Operators And Applications

India) Bhimasankaram P (Univ Of Hyderabad, India) Malik Delhi Univ Saroj B (Hindu College, et al.


Nonmeasurable Sets and Functions

Georgia) Kharazishvili Tbilisi Alexander (Georgian Technical University


Logic Functions and Equations: Binary Models for Computer...

Christian Posthoff and Bernd Steinbach


Elementary Logic with Applications: A Procedural Perspective...

D M Gabbay and O T Rodrigues


Logic for Mathematicians

A. G. Hamilton


Mathematical Theory of Domains

Sweden) Stoltenberg-Hansen V. (Uppsala Universitet, Sweden) Lindstroem I. (Uppsala Universitet, et al.


Fuzzy Logic For Beginners

Japan) Mukaidono Masao (Meiji Univ


Axioms For Lattices And Boolean Algebras

Canada) Padmanabhan R (Univ Of Manitoba and Romania) Rudeanu Sergiu (Univ Of Bucharest


La Logica Como Herramienta de La Razon

Atocha Aliseda

We use cookies and similar methods to recognize visitors and remember their preferences. We also use them to help detect unauthorized access or activity that violate our terms of service, as well as to analyze site traffic and performance for our own site improvement efforts. To learn more about these methods, including how to disable them view our Cookie Policy.