Mathematical logic

Recursion Theory for Metamathematics

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

Matrix Partial Orders, Shorted Operators And Applications

India) Mitra Sujit Kumar (Indian Statistical Inst, India) Bhimasankaram P (Univ Of Hyderabad, et al.

Nonmeasurable Sets and Functions

Georgia) Kharazishvili Tbilisi Alexander (Georgian Technical University

Symbolic Logic and Mechanical Theorem Proving

CA) Chang Menlo Park Inc. Chin-Liang (Lockheed Missiles & Space Company y Taiwan) Lee Hsinchu Richard Char-Tung (National Tsing Hua University

The Error of Truth: How History and Mathematics Came Together...

University of Missouri) Osterlind Emeritus Professor Steven J. (Emeritus Professor