TY - BOOK AU - Penrose Roger TI - Collected works SN - 978-0-19-921944-5 U1 - 530 PY - 2011/// CY - Oxford PB - OUP KW - Mathematical logic KW - Mathematical physics KW - Physics-philosophy KW - Symbolic logic N1 - V1: 1953-1967 ER -