Ω-Bibliography of Mathematical Logic. Volume 6: Proof...

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

Name: Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
ISBN: 9783662090695

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

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

1987

Casa editrice:

Springer

Lingua:

english

Pagine:

436

ISBN 10:

3662090694

ISBN 13:

9783662090695

Collana:

Perspectives in Mathematical Logic

File:

PDF, 15.16 MB

IPFS:

english, 1987

Scaricare (pdf, 15.16 MB)

La conversione in è in corso

La conversione in non è riuscita