Meta-mathematical aspects of Martin-Lof's type theory
S. Valentini
Meta-mathematical aspects of Martin-Lof's type theory
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789090137773
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Systeemanalyse en -theorie 992
NUR (alle)992 Systeemanalyse en -theorie
Medewerkers
Auteur A01S. Valentini
Herkomst
Werk-id (NSTC)501084724
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
ArchiMate® 4 Specification - A Pocket Guide
ArchiMate® 4 Specification – A Pocket Guide
ArchiMate® 4 Specification – A Pocket Guide
Open Agile Architecture™ Standard, Version 2.0
Open Agile Architecture™ Standard, Version 2.0 - A Pocket Guide
Open Agile Architecture™ Standard, Version 2.0 - A Pocket Guide
De macht ontmaskerd
Hospital Reference Architecture Guide: The Complete and Expanded English translation of the Dutch ZiRA
Hospital Reference Architecture Guide
Hospital Reference Architecture Guide
NSTC 501084724 · CB-relatie 9403831 · Bijgewerkt 6 augustus 2026