1103	 Logic for the Computer Sciences
