The Journal of Logic, Language and Information explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the ...

There’s no actual technology involved—it’s all about logic and reasoning. Redmond is a computer scientist who has written several books on programming and computer science for adults.