The decision problem : solvable classes of quantificational formulas /
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Reading, Mass :
Addison-Wesley, Advanced Book Program,
1979.
|
| Gaiak: |
CARM 1 Store
| Sailkapena: |
A2:AB01B0 C10986 |
|---|---|
| Alea 1 | Eskuragarri Erreserbatu |