1320 *)

  1320 *)

  1321 

  1321 

  1322 section {* Conclusion *}

  1322 section {* Conclusion *}

  1323 

  1323 

  1324 text {*

  1324 text {*

  1326   textbook by Boolos et al \cite{Boolos87}.  Following in the

  1326   textbook by Boolos et al \cite{Boolos87}.  Following in the

  1327   footsteps of another paper \cite{Nipkow98} formalising the results

  1327   footsteps of another paper \cite{Nipkow98} formalising the results

  1328   from a semantics textbook, we could have titled our paper ``Boolos et al are

  1328   from a semantics textbook, we could have titled our paper ``Boolos et al are

  1329   (almost) Right''. We have not attempted to formalise everything

  1329   (almost) Right''. We have not attempted to formalise everything

  1330   precisely as Boolos et al present it, but use definitions that make

  1330   precisely as Boolos et al present it, but use definitions that make