Mathematical logic

Models and Games

Jouko Vaananen

Relative Category Theory and Geometric Morphisms: A Logical...

Jonathan Chapman i University of Bristol) Rowbottom both at the School of Mathematics Frederick (both at the School of Mathematics

Model Theory and Modules

M. (Professor) Prest

Axioms For Lattices And Boolean Algebras

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

Mathematical Theory of Domains

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

Features and Fluents: The Representation of Knowledge about...

Link Department of Computer and Information Science Professor Department of Computer and Information Science Erik (Professor

Lectures in Logic and Set Theory: Volume 2, Set Theory

Toronto) Tourlakis George (York University

Architecture of Mathematics

Kazakhstan) Serova Almaty Department of Differential Equations and Control Theory Simon (Al-Farabi Kazakh National University

Extensions of First-Order Logic

Maria (Universitat de Barcelona) Manzano

Lectures on Infinitary Model Theory

Chicago) Marker David (University of Illinois

Spectral Spaces

Paris) Dickmann Max (Centre National de la Recherche Scientifique (CNRS), Niels Schwartz, et al.