Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990


edited by Peter Aczel, Harold Simmons and Stanley S. Wainer
Bok Engelsk 1992 · Konferansepublikasjoner

Detaljer

Bibliotek som har denne