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

Arithmetizing proofs in analysis

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

Complete Sets and Structure in Subrecursive Classes

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

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

Simple groups definable in O-minimal structures

2017 ◽  
pp. 211-218
Author(s):  
Ya'acov Peterzil ◽  
Anand Pillay ◽  
Sergei Starchenko
Keyword(s):  
Simple Groups
Load More ...
Sign in / Sign up

Export Citation Format

Share Document