Logic and Proof Techniques / Logic and Proof Techniques
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Argitaratua: |
Calcutta :
Sreedhar Publishers,
1996
|
| Edizioa: | 1st ed. |
| Gaiak: | |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 144451 | ||
| 005 | 20261026014930.0 | ||
| 040 | |a BD-SaJUCL |b eng |e rda |c BD-SaJUCL | ||
| 100 | 1 | |a Eberle, Rolf A. | |
| 245 | 1 | 0 | |a Logic and Proof Techniques / |b Logic and Proof Techniques |c Rolf A. Eberle |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Calcutta : |b Sreedhar Publishers, |c 1996 | |
| 300 | |a 210 p. | ||
| 504 | |a Symbolic logic and proof methods. | ||
| 020 | |a 81-7381-232-2 | ||
| 082 | 0 | 4 | |a 511.3 |b E16l |2 23 |
| 650 | 0 | |a Logic, Symbolic and Mathematical | |
| 650 | 0 | |a Proof Theory | |
| 942 | |c BK |n 0 | ||
| 999 | |c 144451 |d 144451 | ||