Books by Ludwik Czaja

This book focuses on numerous examples of tasks represented by c-e structure. In particular, how computing with natural numbers and in propositional calculus can be performed by c-e structures and how to specify behavior of data structures.