Post, Emil L.

The two-valued iterative systems of mathematical logic. - Princeton University Press, 1941. - ( Annals of Mathematical Studies ; 5).

  1. Cote: 1444. En rayon: classement par collection.