Weak logic theory
By: by Marit Holden
Series: Research report. University of Oslo. Institute of Informatics -- no.111
Publisher: University of Oslo, Institute of Informatics
Published: 1988
Place of publication: Oslo, Norway
Language: eng
Number of pages: 107
Subjects: Logic; Computer programs; Correctness
Notes: Bibliography: p. 106-107.