Type Of Computing Logic