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 |
Alkuteoksen 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 |