No, they’re Soviet pliers he bought in the 40’s. They look similar to these:

Note the pinchy parts on the outside of the pivot that will cut you if you’re careless while opening the pliers.

My pliers. They’re passed down from my great-grandfather. He bought them used.