ebook img

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics PDF

436 Pages

1987

15.161 MB

English

by Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)

#Mathematics #Logic

Checking for file health...

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.