Logic Colloquium '96
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

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

Two-Dimensional Temporal Logic

2017 ◽  
pp. 219-236
Author(s):  
Mark Reynolds
Keyword(s):  
Temporal Logic ◽  
Two Dimensional

Arithmetizing proofs in analysis

2017 ◽  
pp. 115-158
Author(s):  
Ulrich Kohlenbach

Incompleteness theorems and Si2 versus Si2

2017 ◽  
pp. 247-261 ◽  
Author(s):  
Gaisi Takeuti
Keyword(s):  
Incompleteness Theorems

Complete Sets and Structure in Subrecursive Classes

2017 ◽  
pp. 45-78 ◽  
Author(s):  
Harry Buhrman ◽  
Leen Torenvliet
Keyword(s):  
Complete Sets

On “star” schemata of Kossak and Paris

2017 ◽  
pp. 101-114
Author(s):  
Vladimir Kanovei

Kernels and cohomology groups for some finite covers

2017 ◽  
pp. 79-100
Author(s):  
David M. Evans ◽  
Darren G. D. Gray
Keyword(s):  
Cohomology Groups ◽  
Finite Covers
Load More ...
Sign in / Sign up

Export Citation Format

Share Document