Repository | Directory | Profile

Hajnal Andréka
(2010-2019)
XFinite-variable logics do not have weak beth definability property
2015
in: The road to universal logic II, Basel : Birkhäuser

A logic road from special relativity to general relativity
2012
Synthese 186/3
