Language, Truth and Logic in Mathematics

The foundations of mathematics are examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonstandard distinction, completeness, computability, parallel processing and the extremality of models.