Logic of domains / Guo-Qiang Zhang

By:

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Progress in theoretical computer science ; [4]Publisher: Boston [u.a.] : Birkhäuser, 1991Description: 259 S. : graph. DarstISBN:

Subject(s):

Genre/Form:

MSC: MSC: *68Q55 | 68-02 | 68Q60 | 68T15RVK: RVK: ST 120 | SK 130 | ST 140LOC classification:

Dissertation note: Teilweise zugl.: Cambridge, Univ., Diss. : 1989 Call number: Grundsignatur: 92 A 1364PPN: PPN: 019588186

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	92 A 1364	Available	45197992090

Total holds: 0