Pre-Mathematical Logic
Languages
Metalanguage
Syntax
Semantics
Tautologies
Witnesses
Theories
Proofs
Argot
Strategies
Examples
Mathematics
ZFC
Sets
Maps
Relations
Operations
Integers
Induction
Rationals
Combinatorics
Sequences
Reals
Topology
Imaginaries
Residues
p-adics
Groups
Orders
Vectors
Matrices
Determinants
Polynomials
Congruences
Lines
Conics
Cubics
Limits
Series
Trigonometry
Integrality
Reciprocity
Calculus
Metamodels
Categories
Functors
Objectives
Mathematical Logic
Models
Incompleteness
Bibliography
Index
Biography
Alexandru Buium is a professor of mathematics at the University of New Mexico. He is the author of four monographs and over 70 research papers in the areas of number theory and algebraic geometry. He has held visiting positions at Columbia University, the Institute for Advanced Study, Max Planck Institute for Mathematics, University of Paris-Sud, and IHES.
