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