00756 2200277 4500001002100000005001500021035002000036007000300056008004100059020001800100082001100118084001700129100002200146245005500168250000600223260003500229300004300264650001500307650001600322650003600338650001600374650001700390650003700407700002100444990001300465INLIS00000000003822120191107102444 a0010-1019000112ta191107 g 0 eng  a9781138441637 a511.36 a511.36 DEA b1 aDeaconu, Valentin1 aA Bridge to Higher Mathematics /cValentin Deaconu a1 aBoca Raton :bCRC Press,c2017 axiv, 203 halaman :bilustrasi ;c24 cm 4aMatematika 4aTeori bukti 4aLogika, Simbolik dan matematika 4aMathematics 4aProof theory 4aLogic, Symbolic and mathematical1 aPfaff, Donald C. a19/00327