Doing lattice theory in higher order logic
Finna-arvio
Doing lattice theory in higher order logic
Tallennettuna:
| Ulkoasu |
16, [1] lehteä ; 30 cm |
|---|---|
| Kieli |
englanti |
| Julkaisija |
Åbo :
Åbo Akademi University,
1992.
|
| Sarja | Rapporter från Åbo akademi. Informationsbehandling & matematik, Ser. A, ISSN 0358-0563; no 136. |
| Luokitus | |
| Lisätiedot | J. von Wright |
| ISBN |
951-650-076-5 nidottu |
| Hae kokoteksti | |