Personensuche
X
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
2
Computable Execution Traces:
, In:
?
Knowledge, Proof and Dynamics; Logic in Asia: Studia Logica Library ,
3