Logic Colloquium '01
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By A K Peters/CRC Press

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

MODIFIED BAR RECURSION AND CLASSICAL DEPENDENT CHOICE

2005 ◽  
pp. 89-107
Author(s):  
ULRICH BERGER ◽  
PAULO OLIVA
Keyword(s):  
Dependent Choice

GROUPS IN SIMPLE THEORIES

2005 ◽  
pp. 440-467
Author(s):  
FRANK WAGNER
Keyword(s):  
Simple Theories

INTERPOLATION IN GOAL-DIRECTED PROOF SYSTEMS 1

2005 ◽  
pp. 170-216
Author(s):  
D. M. GABBAY ◽  
N. OLIVETTI
Keyword(s):  
Proof Systems

SELECTION FOR BOREL RELATIONS

2005 ◽  
pp. 151-169
Author(s):  
HARVEY M. FRIEDMAN
Keyword(s):  
Selection For
Load More ...
Sign in / Sign up

Export Citation Format

Share Document