Elements de Logique Mathematique
| Main Author: | Kreisel, G. ; Krivine, J. L. |
|---|---|
| Call Number: | QA9.K7713 |
| Published: |
DUNOD, Paris, 1967
|
| Location: | Addelman-Semple Resource Center [2006-06-11] |
| Format: | Book |
Not Available