Informers and the Transition in Northern Ireland
- 作者Dudai, R.
- 卷第52卷
- 期第1期
- 印刷ISSN0007-0955
- 电子ISSN1464-3529
- 文件大小176.93KB
- 发表时间2011
- DOI10.1093/bjc/azr055
- 页码32-54
同作者推荐
NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLESJ. Lambek; P. J. Scott · 1983
Intuitionist type theory and foundationsJ. Lambek; P. J. Scott · 1981
Intuitionist Type Theory and FoundationsJ. Lambek and P. J. Scott · Journal of Philosophical Logic · 1981
Functional completeness of cartesian categoriesJ. Lambek · 1974
What is the world of mathematics?J. Lambek · 2004
Some lattice models of bilinear logicJ. Lambek · Algebra Universalis · 1995
Counting ambiguous meaningsJ. Lambek · 2008
Relations in operational categoriesJ. Lambek · Journal of Pure and Applied Algebra · 1997