Ackermann, W.

Solvable cases of the decision problem. - Amsterdam, North-Holland Pub. Co., 1954. - 114 p.




Logic, Symbolic and mathematical.
MCE

519.542 / ACK