rnhmjoj
/
sistemi-formali
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Tesi di fine anno
4 Commits
1 Branch
0 Tags
2.9 MiB
Go to file
rnhmjoj 6bd6fbc989 Regenerate files 2016-03-19 16:34:36 +01:00
images Initial commit 2015-06-25 20:26:55 +02:00
options Initial commit 2015-06-25 20:26:55 +02:00
README.md Initial commit 2015-06-25 20:26:55 +02:00
godel.md Initial commit 2015-06-25 20:26:55 +02:00
index.html Regenerate files 2016-03-19 16:34:36 +01:00
lambda-calcolo.md Initial commit 2015-06-25 20:26:55 +02:00
makefile Remove OSX-specific path 2016-03-19 16:34:13 +01:00
metateatro.md Initial commit 2015-06-25 20:26:55 +02:00
sistemi-formali.pdf Regenerate files 2016-03-19 16:34:36 +01:00

README.md

I sistemi formali

tesi di fine anno

See the html version here.

License

Dual licensed under the MIT and GPL licenses:
http://www.opensource.org/licenses/mit-license.php
http://www.gnu.org/licenses/gpl.html