|
Detlefsen M. Proof, Logic and Formalization 1992
3 weeks, 6 days
Files: 1 Total size: 13.3 MB Total requests: 57 Last access time: 3 hours, 36 minutes
|
|
Detlefsen M. Proof and Knowledge in Mathematics 1992
5 months, 3 weeks
Files: 2 Total size: 7.9 MB Total requests: 116 Last access time: 2 days, 2 hours
|
Files: 1 Total size: 7.0 MB Total requests: 61 Last access time: 2 days, 10 hours
|
|
J.Manico, A. Detlefsen - Iron-Clad Java Building Secure Web Applications - 2014.pdf
1 year, 7 months
Files: 1 Total size: 9.3 MB Total requests: 266 Last access time: 2 days
|