file.pdf (562.46 kB)

Theorem Proving via Uniform Proofs

Download (562.46 kB)
journal contribution
posted on 01.09.1993, 00:00 by Alberto Momigliano
Alberto Momigliano. Theorem Proving via Uniform Proofs.

History

Publisher Statement

All Rights Reserved

Date

01/09/1993

Usage metrics

Categories

Keywords

Exports