Mathematical logic

A First Journey through Logic

Francois Loeser i Martin Hils

Classical and Fuzzy Concepts in Mathematical Logic and...

Mircea S. Reghis i Eugene (York University) Roventa

Theory of Uniform Approximation of Functions by Polynomials

Vladislav K. Dzyadyk i Igor A. Shevchuk

Recursion Theory for Metamathematics

Indiana University) Smullyan Professor of Philosophy Raymond M. (Professor of Philosophy

Logic Colloquium 2005

Greece) Dimitracopoulos Costas (University of Athens, Poland) Newelski Ludomir (Uniwersytet Wroclawski, et al.

Proof-theoretic Semantics

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