Logic by Pierre Nicole