Logic Colloquium '98
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Cambridge University Press

9781316756140
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relative Splittings of in the-Enumeration Degrees

2017 ◽  
pp. 44-56
Author(s):  
Marat M. Arslanov ◽  
Andrea Sorbi
Keyword(s):  
Enumeration Degrees

The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts

2017 ◽  
pp. 140-153
Author(s):  
Chi Tat Chong ◽  
Lei Qian ◽  
Yue Yang
Keyword(s):  
Inversion Theorem ◽  
Jump Inversion

Another Pathological Well-Ordering

2017 ◽  
pp. 105-108
Author(s):  
Lev Beklemishev

The Complexity of Linear Logic with Weakening

2017 ◽  
pp. 500-515
Author(s):  
Alasdair Urquhart
Keyword(s):  
Linear Logic

Additive Theories

2017 ◽  
pp. 352-356
Author(s):  
Evgeni A. Palyutin
Load More ...
Sign in / Sign up

Export Citation Format

Share Document