Book

Mathematical Logic and Applications

by Juichi Shinoda