Formal logic translation?

Question

Mathematics

I decided to read about formal logic in English, went to Wikipedia, typed in the name, I found an article in Russian, but I need to read in English, there is no English in the usual switch on the bottom left. Google Translator also does not particularly give results, namely formal logic, I suspect that this is not correct at all.
Is it possible to consider an article called First-order_logic: https://en.wikipedia.org/wiki/First-order_logic as formal logic, or is it completely different? Tell me who knows the algebra of logic in English, how this term is translated

Answer 1

English:
https://www.britannica.com/topic/formal-logic

Answer 2

The content of the Russian Wikipedia page describes the situation in the USSR, so why would the British write about it?
Switching to the French page shows that there is nothing there, except for a link to the article "Logic", so you can find this general article in English.