Theorem Proving via Uniform Proofs

1993-09-01T00:00:00Z (GMT) by Alberto Momigliano
Alberto Momigliano. Theorem Proving via Uniform Proofs.

Categories

Keyword(s)

License

In Copyright