# Intuitionistic logic

## References

* [Intuitionistic Type Theory - Per Martin-Löf](https://archive-pml.github.io/martin-lof/pdfs/Bibliopolis-Book-retypeset-1984.pdf)