Koha online

Normal view MARC view ISBD view

Trypuz, Robert

Krister Segerberg on logic of actions - Dordrecht: Springer, 2013 - xxix, 335 p.; ill.: 24 cm. - utstanding Contributions to Logic .

ISBN: 9789400770454 (hbk)

Subjects--Topical Terms:
Segerberg, Krister, -- 1936-
Computer logic
Logic

Dewey Class. No.: 160 / TRY