Vasco Brattka-Hannes Diener-Dieter Spreen
Logic, Computation, Hierarchies
- De Gruyter 2014
- Ontos Mathematical Logic .
9781614517832
Logic
Algebra, Boolean--Congresses.,Logic, Symbolic and mathematical--Congresses.,Petri nets--Congresses.,Quasi-metric spaces--Congresses.,Set theory--Congresses.
PHILOSOPHY