Stanley S. Wainer

Identifiers

Open LibraryOL7485969A

Top Subjects

Proof theory (1)

Books by Stanley S. Wainer

Total count: 3

Proof TheoryA Selection of Papers from the Leeds Proof Theory Programme 1990

Cambridge University Press2008-01-01
Proofs and Computations

Cambridge University Press2011-01-01
Proofs and Computations (Perspectives in Logic)

Cambridge University Press2012-01-16