Theorem proving with built-in hybrid theories

Logic and Logical Philosophy, Tom 6 (1998) s. 77-107
Uwe Petermann

 

do góry