Language, proof, and logic
Mentés helye:
| Szerző: | |
|---|---|
| Közreműködő(k): | |
| Formátum: | könyv |
| Nyelv: | angol |
| Megjelenés: |
Stanford, Calif. ; [New York etc.] : CSLI Publications ; Seven Bridges Press,
2000
|
| Tárgyszavak: | |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
| Megjegyzés: | Példányjellemző: Az 546141 jelzetű példány CD melléklet nélkül. |
|---|---|
| Fizikai leírás: | XI,587 p. ; 24 cm + 2 mell.: LPL software manual+1 discard Megjegyzés: 1. mell. : Stanford, Calif. ; [New York etc.] ; LPL software manual / Gerard Allwein etc. - CSLI Publications ; Seven Bridges Press, 2000 52 p. ; 22 cm Megjegyzés: 2. mell. : Language, proof, and logic : CD version 1.2. - Stanford, Calif. : CSLI Publications, 2000. - 13x13 cm |
| ISBN: | 1-889119-08-3 |