Logic Colloquium 2005
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

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

Independence for types in algebraically closed valued fields

2009 ◽  
pp. 46-56
Author(s):  
Deirdre Haskell
Keyword(s):  
Valued Fields

LECTURE NOTES IN LOGIC

2009 ◽  
pp. 273-274
Keyword(s):  
Lecture Notes

scholarly journals Proofnets for S5: Sequents and circuits for modal logic

2009 ◽  
pp. 151-172 ◽  
Author(s):  
Greg Restall
Keyword(s):  
Modal Logic

Proof analysis in non-classical logics

2009 ◽  
pp. 107-128 ◽  
Author(s):  
Sara Negri
Keyword(s):  
Proof Analysis

scholarly journals Recursion on the partial continuous functionals

2009 ◽  
pp. 173-201 ◽  
Author(s):  
Helmut Schwichtenberg
Keyword(s):  
Continuous Functionals

Paul Bernays' later philosophy of mathematics

2009 ◽  
pp. 129-150
Author(s):  
Charles Parsons
Keyword(s):  
Philosophy Of Mathematics

Towards a logic of type-free modality and truth

2009 ◽  
pp. 68-84 ◽  
Author(s):  
Hannes Leitgeb

A transactional approach to the logic of truth

2009 ◽  
pp. 202-220
Author(s):  
Michael Sheard
Keyword(s):  
Transactional Approach

scholarly journals Thread algebra and risk assessment services

2009 ◽  
pp. 1-17 ◽  
Author(s):  
Jan A. Bergstra ◽  
Inge Bethke ◽  
Alban Ponse
Keyword(s):  
Risk Assessment ◽  
Thread Algebra

Introduction

2009 ◽  
pp. ix-x
Load More ...
Sign in / Sign up

Export Citation Format

Share Document