Go home now Header Background Image
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
page 1255 - 1265
Vol.3 / Issue 11
D. S. Bridges, C.S. Calude, M. J. Dinneen, B. Khoussainov:
Logic in Computer Science
page 1133 - 1133
Vol.3 / Issue 11