Skip Navigation

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

Contents: Volume 13, Number 4, 2003   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

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

Heinrich Wansing

J Logic Computation 2003 13: 451; doi:10.1093/logcom/13.4.451 [PDF] [Request Permissions]  

Sergei P. Odintsov

J Logic Computation 2003 13: 453-468; doi:10.1093/logcom/13.4.453 [Abstract] [PDF] [Request Permissions]  

Petr Hájek

J Logic Computation 2003 13: 469-479; doi:10.1093/logcom/13.4.469 [Abstract] [PDF] [Request Permissions]  

Stefania Lusin and Antonino Salibra

J Logic Computation 2003 13: 481-502; doi:10.1093/logcom/13.4.481 [Abstract] [PDF] [Request Permissions]  

Anuj Dawar and David Richerby

J Logic Computation 2003 13: 503-530; doi:10.1093/logcom/13.4.503 [Abstract] [PDF] [Request Permissions]  

Francesc Esteva, Lluís Godo, Petr Hájek, and Franco Montagna

J Logic Computation 2003 13: 532-555; doi:10.1093/logcom/13.4.532 [Abstract] [PDF] [Request Permissions]  

Ofer Arieli and Marc Denecker

J Logic Computation 2003 13: 557-580; doi:10.1093/logcom/13.4.557 [Abstract] [PDF] [Request Permissions]  

Stephen A. Cook and Yongmei Liu

J Logic Computation 2003 13: 581-594; doi:10.1093/logcom/13.4.581 [Abstract] [PDF] [Request Permissions]  

Marcelo E. Coniglio, Amilcar C. Sernadas, and Cristina S. Sernadas

J Logic Computation 2003 13: 595-624; doi:10.1093/logcom/13.4.595 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 2003 13: 625-627; doi:10.1093/logcom/13.4.625 [PDF] [Request Permissions]  


J Logic Computation 2003 13: 629-631; doi:10.1093/logcom/13.4.629 [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.