Logic and Artificial Intelligence [chapter]

Richmond H. Thomason
2009 The Development of Modern Logic  
doi:10.1093/acprof:oso/9780195137316.003.0047 fatcat:ftchyrt7yvclzdyhxh7qnv3xoi