00249nam a2200109Ia 4500082001800000100002100018245003700039260004300076300001000119500000500129700000500134  a511.3bK48.LL  aKilmister, C. W.  aLanguage logic and mathematicsb  aLondonbEnglish University Pressc1967  a124p.  a  a