DOI10.1007/BF01351806zbMath0147.26101MaRDI QIDQ2524563
Stephen A. Cook, Hao Wang
Publication date: 1966 Published in: Mathematische Annalen (Search for Journal in Brave) Full work available at URL: https://eudml.org/doc/161380
zbMATH Keywords
set theory
Cites Work