skip to main content

Basic proof theory

Anne Sjerp Troelstra H Schwichtenberg; Helmut Schwichtenberg; A. S Troelstra; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen

Cambridge University Press 2000

Acesso online. A biblioteca também possui exemplares impressos.

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.