view wisdom/cyberiad @ 8467:14d76a4877b8

<shachaf> le/rn complete heyting algebra/A complete Heyting algebra is just a cartesian closed complete lattice.
author HackBot
date Mon, 13 Jun 2016 00:05:58 +0000
parents c8fcfd853c1b
children
line wrap: on
line source

The Cyberiad is not just a book. It's an M&S book.