Semantically informed methods in structural proof theory
Jinsheng Chen
Semantically informed methods in structural proof theory
In het kort
ISBN-13
9789036106900
Uitgever
Verschenen
10 oktober 2022
Serie
Bibliografisch
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Economie en bedrijf algemeen 780
NUR (alle)780 Economie en bedrijf algemeen
Medewerkers
Auteur A01Jinsheng Chen
Herkomst
Werk-id (NSTC)501517030
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501517030 · CB-relatie 7100293 · Bijgewerkt 6 augustus 2026