Logicism renewed : logical foundations for mathematics and computer science /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
La Jolla, CA. :
Association for Symbolic Logic,
c2005
|
| Σειρά: | Lecture notes in logic ; ;
23 |
| Θέματα: |