openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
L
Logica-2
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 23 hours
ago. based on code collected
1 day
ago.
Apr 22, 2023 — Apr 22, 2024
Showing page 1 of 1
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
- Primo teorema di incompletezza - Correzione all'argomento diagonale, capitolo ricorsive - Correzione capitolo re
Alessandro Bruni
More...
almost 14 years ago
- Aggiunto secondo teorema di incompletezza
Alessandro Bruni
More...
almost 14 years ago
- Nuovi capitoli: aritmetizzazione, logica della dimostrabilità e conclusioni
Alessandro Bruni
More...
almost 14 years ago
- Aggiunta voce bibliografica
hoheinzollern
More...
almost 14 years ago
- Aggiornamenti al capitolo HA
Bruni Alessandro [IN1]
More...
almost 14 years ago
- Aggiunte dispense gruppo 5, rappresentabilità
Bruni Alessandro [IN1]
More...
almost 14 years ago
- Aggiunto capitolo HA
Bruni Alessandro [IN1]
More...
almost 14 years ago
- Fix inclusione cap 3
Alessandro Bruni
More...
almost 14 years ago
- Aggiunto capitolo 3: insiemi r.e.
Alessandro Bruni
More...
almost 14 years ago
Aggiunto Readme
Alessandro Bruni
More...
almost 14 years ago
fix inclusione immagine
Alessandro Bruni
More...
almost 14 years ago
- regole abbreviate
Epper
More...
almost 14 years ago
Cartella immagini
Alessandro Bruni
More...
almost 14 years ago
Revisione capitolo 5
Alessandro Bruni
More...
almost 14 years ago
Parti 1 e 2, in revisione
Alessandro Bruni
More...
almost 14 years ago
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree