Herbrand

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Subjects

Jacques Herbrand

Related Phrases

Argonne National Laboratory

Automated Theorem Proving

Church–turing Thesis

Effectively Calculable

Effectively Decidable

Effective Calculability

Theorem Proving

Related Words