:MANNA, Zohar - WALDINGER, Richard. The logical Basis for Computer Programming. Vol.2. Deductive Systems. 1. ed. Reading : Addison-Wesley Publ. Co., 1990. 642 s. [Počet ex. : 1, z toho voľných 1, prezenčne 0]