Logic and Proof Techniques / Logic and Proof Techniques
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Julkaistu: |
Calcutta :
Sreedhar Publishers,
1996
|
| Painos: | 1st ed. |
| Aiheet: | |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
| Ulkoasu: | 210 p. |
|---|---|
| Bibliografia: | Symbolic logic and proof methods. |
| ISBN: | 81-7381-232-2 |