Bidang Ilmu : Manajemen Informatika
Abstrak :
This Is Book About Derivation And Proofs In The Propositional Logic, Derivations And Proofs In The Predicate Logic, Deductions In The Style Of Gentzen’s Sequent Calculus, Derivations And Formalizations, Algebraic And Computational Examples, Suggested Readings.