dedekindbr
/
Caixas_e_diamantes
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
16 Commits 4 Branches 0 Tags 796 KiB
TeX 100%
Go to file
Alessandro Duarte 6700fbc281 Atualizar 'caixas_e_diamantes.tex' 2021-12-20 01:33:01 +00:00
.gitignore Initial commit 2021-10-09 22:40:24 +00:00
LICENSE Initial commit 2021-10-09 22:40:24 +00:00
README.md Atualizar 'README.md' 2021-10-09 22:43:26 +00:00
caixas_e_diamantes.lyx Enviar arquivos para '' 2021-12-19 23:31:39 +00:00
caixas_e_diamantes.pdf Enviar arquivos para '' 2021-12-19 23:30:54 +00:00
caixas_e_diamantes.ps Enviar arquivos para '' 2021-12-19 23:31:08 +00:00
caixas_e_diamantes.tex Atualizar 'caixas_e_diamantes.tex' 2021-12-20 01:33:01 +00:00

README.md

Caixas_e_diamantes

Tradução do livro: Boxes and diamonds: an open introduction to modal logic

https://bd.openlogicproject.org/