Number:

Math 22/90

Author(s):

KASK, Kalev.

Title:

A sequent calculus for computer-aided theorem proving. 18 p.

Language:

English