nLab
mathematical logic

see at logic - Mathematical logic.

References

Revised on April 21, 2015 16:49:27 by Urs Schreiber (195.113.30.252)