/logic

A Formulation of mathematical logic

This repository is not active