Manna, Z., & Waldinger, R. (1990). The Logical Basis for Computer Programming: Volume II. Deductive Systems. Addison-Wesley Publishing Company.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podle Chicago (17th ed.)
Manna, Zohar, a Richard Waldinger. The Logical Basis for Computer Programming: Volume II. Deductive Systems. Reading: Addison-Wesley Publishing Company, 1990.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podľa MLA (8th ed.)
Manna, Zohar, a Richard Waldinger. The Logical Basis for Computer Programming: Volume II. Deductive Systems. Addison-Wesley Publishing Company, 1990.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..