Talk:Systems Of Logic

how about a chapter on model theory? --FairPhyllis 08:43, 10 April 2007 (UTC)