Tag: logika komputasional

Raymond Kelvin Nando, Pontianak — George Boole adalah salah satu tokoh sentral dalam pengembangan logika simbolik dan filsafat matematika, yang ...