Mathesis Universalis, Computability and Proof
Editat de Stefania Centrone et al.
6 noi 2020
Paperback
Preț: 704.06 lei 858.61 lei
6-8 săpt.
-18%
Peter M. Schuster
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Editat de Peter M. Schuster et al.
26 aug 2021
Paperback
Preț: 1069.64 lei 1304.44 lei
6-8 săpt.
-18%