Mathematical logic/ Tourlakis,George - New Jersey: John wiley & sons, 2008. - 293 ISBN: 9780470280744 Dewey Class. No.: 511.3 / TOU/M