01254nam a2200325 i 450099100109456970753620020507183146.0930909s1975 ne ||| | eng 0720422000b10800128-39ule_instLE01306928ExLDip.to Matematicaeng511.3AMS 03-06AMS 03-XXRose, H. E.50242Logic colloquium, '73 :proceedings of the Logic colloquium Bristol, July 1973 /edited by H. E. Rose and J. C. ShepherdsonAmsterdam ; Oxford :North-Holland ; New York : American Elsevier,1975viii, 513 p. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237X ;80Conference/meeting Bristol 1973Mathematical logicCongressesSymbolic logicCongressesShepherdson, J. C..b1080012823-02-1728-06-02991001094569707536LE013 03-XX ROS11 (1975)12013000045764le013-E0.00-l- 00000.i1090396328-06-02Logic colloquium, '73925494UNISALENTOle01301-01-93ma -engne 01