You can also get a PDF of Barber's BRML or look in Murphys ML text, which isn't freely available as PDF Check inside title page, make sure you get 3rd printing

You can also get a PDF of Barber's BRML or look in Murphys ML text, which isn't freely available as PDF Check inside title page, make sure you get 3rd printing of Murphy's: http://www.cs.ubc.ca/~murphyk/MLbook/errata.html http://www.cs.ubc.ca/~murphyk/MLbook/errata.html http://web4.cs.ucl.ac.uk/staff/D.Barber/pmwiki/pmwiki.php?n=Brml.HomePage http://web4.cs.ucl.ac.uk/staff/D.Barber/pmwiki/pmwiki.php?n=...