A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logic

Bulletin of the Section of Logic, Tom 25, Numer 1 (1996) s. 21-28
Nobu-Yuki Suzuki

 

Checked:  

do góry

Czy na pewno chcesz usunąć artykuł?

Register

Username:
E-mail:
Password:
Confirm password:
Sign in

Sign in

Username:
Password:
Forgot password