SNDT WOMEN'S UNIVERSITY

BMK Knowledge Resource Centre

Vithaldas Vidyavihar, Juhu Tara Road,
Santacruz (West) Mumbai - 400049

A first course in formal logic and its applications in computer science

Dowsing, R.D., Rayward-smith, V.J. & Walter, C.D.

A first course in formal logic and its applications in computer science - Blackwell scientific publications, London 1986 - vi, 265

0-632-01308-7

519.4 Dow