Non-Classical Logics Model Theory And Computability