Skip Navigation

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

Contents: Volume 1, Number 4, September 1991   [Index by Author] 
Other Issues: Previous 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

NEIL TENNANT

J Logic Computation 1991 1: 427-430; doi:10.1093/logcom/1.4.427 [PDF] [Request Permissions]  

MARTIN DAVIS and RONALD FECHTER

J Logic Computation 1991 1: 431-451; doi:10.1093/logcom/1.4.431 [Abstract] [PDF] [Request Permissions]  

YDE VENEMA

J Logic Computation 1991 1: 453-476; doi:10.1093/logcom/1.4.453 [PDF] [Request Permissions]  

MARC BEZEM

J Logic Computation 1991 1: 477-495; doi:10.1093/logcom/1.4.477 [Abstract] [PDF] [Request Permissions]  

DALE MILLER

J Logic Computation 1991 1: 497-536; doi:10.1093/logcom/1.4.497 [Abstract] [PDF] [Request Permissions]  

HAROLD SCHELLINX

J Logic Computation 1991 1: 537-559; doi:10.1093/logcom/1.4.537 [Abstract] [PDF] [Request Permissions]  

ARNON AVRON

J Logic Computation 1991 1: 561-565; doi:10.1093/logcom/1.4.561 [PDF] [Request Permissions]  

MICHAEL A. COVINGTON

J Logic Computation 1991 1: 565-566; doi:10.1093/logcom/1.4.565 [PDF] [Request Permissions]  


J Logic Computation 1991 1: 567; doi:10.1093/logcom/1.4.567 [PDF] [Request Permissions]  


J Logic Computation 1991 1: 569-570; doi:10.1093/logcom/1.4.569 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 1991 1: 571-572; doi:10.1093/logcom/1.4.571 [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.