5 records found
1
Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic
The logos of semantic structure
`pi¿ in the sky
Procedural semantics for mathematical constants
Points of view from a logical perspective (II)
