Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Bakhadyr Khoussainov
The University of Auckland, Auckland, New Zealand and Cornell University, USA

H. Ishihara, B. Khoussainov:
Effectiveness of the Completeness Theorem for an Intermediate Logic
/jucs_3_11/effectiveness_of_the_completeness
page 1255 - 1265
Vol.3 / Issue 11
D. S. Bridges, C.S. Calude, M. J. Dinneen, B. Khoussainov:
Logic in Computer Science
/jucs_3_11/logic_in_computer_science
page 1133 - 1133
Vol.3 / Issue 11