mathematical logic

In the 1970s, he produced Fagin’s theorem, which characterized the class NP in terms of mathematical logic.

I had these amorphous ideas like wanting to investigate the way the mind works using mathematical logic.

I could go to the University of Wisconsin in Madison to study mathematical logic—that was my dream—but very few could do it.

It was developed with rigorous mathematical logic and Euclidean conclusiveness.

His trained mathematical logic gave him an immediate solution to the enigma: he was cracking up.

The modern development of mathematical logic dates from Boole's Laws of Thought .

Mathematical logic, even in its most modern form, is not directly of philosophical importance except in its beginnings.

Take such a statement as, “The class of people interested in mathematical logic is not very numerous.”