Eisenberg, Murray The mathematical method : Atransition to advanced mathematics / by M. Eisenberg. - Upper Saddle River, N.J. : Prentice Hall, 1996. - XV, /310/ p. : fig. ; 23 cm. Index I 1-I 17 p. ISBN: 0-13-127002-8 Subjects--Topical Terms: Proof theory