E-mail:.][･, ｦ, ｨ ｧ ｩ･ ｦ ｦ･ ｦ ｦ･[!"# ｧ $" &%'ｧ (!%

Bulletin of Symbolic Logic 10 (3) (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

E-mail: marat@ niimm. kazan. su.John T. Baldwin & Masanori Itai - 1995 - Bulletin of Symbolic Logic 1 (1).
E-mail: aki@ math. bu. edu.Akihiro Kanamori - 2005 - Bulletin of Symbolic Logic 11 (2):131-131.
E-mail: бгвдбжеиз й е бг е!" $# в.Edmund M. Clarke Jr - 2003 - Bulletin of Symbolic Logic 9 (1).
Relevant logics and their rivals, Volume II, A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady, edited by Ross Brady, with contributions by Martin Bunder, André Fuhrmann, Andréa Loparić, Edwin Mares, Chris Mortensen and Alasdair Urquhart. Western Philosophy Series, vol. 59. Aldershot, Ashgate, 2003, xiv + 425 pp. [REVIEW]Nicholas Griffin - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.
Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections. [REVIEW]Jonathan P. Seldin - 1970 - Journal of Symbolic Logic 35 (1):147-148.
The Superjump in Martin-Löf Type Theory.Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.
Well-Ordering Proofs for Martin-Löf Type Theory.Anton Setzer - 2000 - Bulletin of Symbolic Logic 6 (4):478-479.
Review: D. A. Martin, J. R. Steel, Iteration Trees. [REVIEW]William Mitchell - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.
Donald A. Martin. On a question of G. E. Sacks. The journal of symbolic logic, vol. 31 , pp. 66–69.C. E. M. Yates - 1967 - Journal of Symbolic Logic 32 (4):528-529.
Martin Peterson. An introduction to decision theory. Cambridge University Press, Cambridge, 2009, x + 317 pp. [REVIEW]Steven Robertson - 2010 - Bulletin of Symbolic Logic 16 (3):413-415.

Analytics

Added to PP
2014-01-18

Downloads
7 (#603,698)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references