Logic Colloquium '01
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

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

Interpolation in goal-directed proof systems 1

2017 ◽  
pp. 170-216
Author(s):  
D. M. Gabbay ◽  
N. Olivetti
Keyword(s):  
Proof Systems

Groups in Simple Theories

2017 ◽  
pp. 440-467 ◽  
Author(s):  
Frank Wagner
Keyword(s):  
Simple Theories

Modified bar recursion and classical dependent choice

2017 ◽  
pp. 89-107 ◽  
Author(s):  
Ulrich Berger ◽  
Paulo Oliva
Keyword(s):  
Dependent Choice

Moschovakis's notion of meaning as applied to linguistics

2017 ◽  
pp. 255-280
Author(s):  
Michiel van Lambalgen ◽  
Fritz Hamm

Preface

2017 ◽  
pp. v-vi
Author(s):  
Matthias Baaz ◽  
Sy Friedman ◽  
Jan Krajíček
Load More ...
Sign in / Sign up

Export Citation Format

Share Document