ISBN-13: 9783030888527 / Angielski / Miękka / 2021 / 436 str.
Logic.- Language.- Computation.- Proofs.- Formal Languages.- Category Theory.- Deduction systems.
Czytaj nas na: