Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
MD
M Du¿í
Academic Work (5)
Book (1)
Book chapter (3)
Journal article (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
5 records found
1
Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic
Book (2010) -
BTF Jespersen (author)
,
M Du¿í (author)
,
P Materna (author)
The logos of semantic structure
Book chapter (2010) -
BTF Jespersen (author)
,
M Du¿í (author)
,
P Materna (author)
`pi¿ in the sky
Book chapter (2009) -
BTF Jespersen (author)
,
M Du¿í (author)
,
P Materna (author)
Procedural semantics for mathematical constants
Book chapter (2009) -
BTF Jespersen (author)
,
M Du¿í (author)
Points of view from a logical perspective (II)
Journal article (2007) -
BTF Jespersen (author)
,
M Du¿í (author)
,
P Materna (author)
