@article {MATHEDUC.02319006,
author = {Hoare, Graham T.Q.},
title = {A survey of mathematical logic. Pt. 1: pre-1931.},
year = {1996},
journal = {The Mathematical Gazette},
volume = {80},
number = {487},
issn = {0025-5572},
pages = {83-91},
publisher = {Cambridge University Press, Cambridge; Mathematical Association (MA), Leicester},
doi = {10.2307/3620335},
abstract = {This survey considers the following developments: Cantor and the theory of sets; predicate calculus; Peano's system of arithmetic; Hilbert's programme; model theory; G\"odel's theorem.},
msc2010 = {E35xx},
identifier = {1997e.02988},
}