Ioannes Saresberiensis, Metalogicon