Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Contents: Volume 1, Number 1, July 1990   [Index by Author] 
Other Issues: Next  

Down Articles


[Search ALL Issues]

Front Matter (PDF) | Back Matter (PDF)

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Articles Back

D. M. GABBAY

J Logic Computation 1990 1: 1-4; doi:10.1093/logcom/1.1.1 [PDF] [Request Permissions]  

SAMSON ABRAMSKY

J Logic Computation 1990 1: 5-40; doi:10.1093/logcom/1.1.5 [Abstract] [PDF] [Request Permissions]  

MATTHEW L. GINSBERG

J Logic Computation 1990 1: 41-69; doi:10.1093/logcom/1.1.41 [Abstract] [PDF] [Request Permissions]  

MICHAEL KAMINSKI and MICHAEL TIOMKIN

J Logic Computation 1990 1: 71-82; doi:10.1093/logcom/1.1.71 [Abstract] [PDF] [Request Permissions]  

MELVIN FITTING

J Logic Computation 1990 1: 83-97; doi:10.1093/logcom/1.1.83 [Abstract] [PDF] [Request Permissions]  

P. M. HILL, J. W. LLOYD, and J. C. SHEPHERDSON

J Logic Computation 1990 1: 99-143; doi:10.1093/logcom/1.1.99 [Abstract] [PDF] [Request Permissions]  

G. L. BURN

J Logic Computation 1990 1: 145-146; doi:10.1093/logcom/1.1.145 [PDF] [Request Permissions]  

M. C. GOLUMBIC

J Logic Computation 1990 1: 146-147; doi:10.1093/logcom/1.1.146 [PDF] [Request Permissions]  

CHRIS HANKIN

J Logic Computation 1990 1: 149-151; doi:10.1093/logcom/1.1.149 [PDF] [Request Permissions]  


J Logic Computation 1990 1: 153; doi:10.1093/logcom/1.1.153 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.