Alan turing's systems of logic The princeton thesis - Appel Andrew W (Princeton Princeton University Press USA, 2012)
Keywords: MATHEMATICS