عنوان

Logic Colloquium' 69; proceedings of the Summer School and Colloquium in Mathemaical Logic, Manchester, August 1969

40331

آخر۲۷

English

)20(

Gandy, R. O.

ed.

Logic Colloquium' 69; proceedings of the Summer School and Colloquium in Mathemaical Logic, Manchester, August 1969

Amsterdam

North- Holland

1971

xvi, 451p

Studies in logic and the foundations of mathemaics; v.16

، Logic, symbolic and mathematical

Edited by R. O. Gandy ]and[ C. M. E. Yates

AU .E .M .C ,setaY joint ed

AU retsehcnaM ,cigoL lacitamehtaM ni muiuqolloC dna loohcS remmuS 1969