ሒሳባዊ ሥነ አመክንዮ (እንግሊዝኛ፦ Mathematical logic) የሥነ አመክንዮ ዘርፍ ነው::