C 220.975
Advanced logic for applications / Richard E. Grandy. -- Dordrecht ; Boston : D. Reidel Publishing Company, 1977. -- (Pallas Paberbacks). -- ISBN : 90-277-0781-2. -- 90-277-1034-1.
logika