24 found
Order:
Disambiguations
Nigel Cutland [15]Nigel J. Cutland [9]
  1.  67
    Computability, an Introduction to Recursive Function Theory.Nigel Cutland - 1980 - Cambridge University Press.
    What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effective or automatic way. This book is an introduction to computability theory (or recursion theory as it is traditionally known to mathematicians). Dr Cutland (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  2. On Cauchy's Notion of Infinitesimal.Nigel Cutland, Christoph Kessler, Ekkehard Kopp & David Ross - 1988 - British Journal for the Philosophy of Science 39 (3):375-378.
  3.  11
    Nonstandard Measure Theory and its Applications.Nigel J. Cutland - 1983 - Journal of Symbolic Logic 54 (1):290-291.
  4.  22
    A Question of Borel Hyperdeterminacy.Nigel J. Cutland - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (19-24):313-316.
  5.  4
    Model Theory on Admissible Sets.Nigel Cutland - 1973 - Annals of Mathematical Logic 5 (4):257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  5
    A Question of Borel Hyperdeterminacy.Nigel J. Cutland - 1984 - Mathematical Logic Quarterly 30 (19‐24):313-316.
  7.  16
    Some Theories Having Countably Many Countable Models.Nigel J. Cutland - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):105-110.
  8.  13
    Σ1-Compactness in Languages Stronger Than.Nigel Cutland - 1978 - Journal of Symbolic Logic 43 (3):508 - 520.
  9.  3
    Some Theories Having Countably Many Countable Models.Nigel J. Cutland - 1976 - Mathematical Logic Quarterly 23 (7‐12):105-110.
  10. ??-Compactness and Ultraproducts.Nigel Cutland - 1972 - Journal of Symbolic Logic 37 (4):668-672.
  11.  1
    Σ₁-Compactness and Ultraproducts.Nigel Cutland - 1972 - Journal of Symbolic Logic 37 (4):668 - 672.
  12.  9
    Compactness Without Languages.Nigel J. Cutland - 1976 - Mathematical Logic Quarterly 22 (1):113-115.
  13.  16
    Compactness Without Languages.Nigel J. Cutland - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):113-115.
  14.  11
    Edward Nelson. The Syntax of Nonstandard Analysis. Annals of Pure and Applied Logic, Vol. 38 , Pp. 123–134.Nigel Cutland - 1991 - Journal of Symbolic Logic 56 (2):751-752.
  15.  9
    Introducing.Nigel Cutland - 2008 - Logic and Analysis 1 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  4
    $Mathbf{Sigma}1$-Compactness in Languages Stronger Than $Mathscr{L}A$.Nigel Cutland - 1978 - Journal of Symbolic Logic 43 (3):508-520.
  17. Nonstandard Methods and Applications in Mathematics.Nigel J. Cutland, Mauro Di Nasso & David A. Ross - 2007 - Bulletin of Symbolic Logic 13 (3):372-374.
     
    Export citation  
     
    Bookmark  
  18.  6
    Review: Edward Nelson, The Syntax of Nonstandard Analysis. [REVIEW]Nigel Cutland - 1991 - Journal of Symbolic Logic 56 (2):751-752.
  19. Review: K. D. Stroyan, Jose Manuel Bayod, Foundations of Infinitesimal Stochastic Analysis. [REVIEW]Nigel Cutland - 1988 - Journal of Symbolic Logic 53 (4):1261-1262.
  20.  4
    $Sum_1$-Compactness and Ultraproducts.Nigel Cutland - 1972 - Journal of Symbolic Logic 37 (4):668-672.
  21.  11
    S. Ú. Maslov. Téoriá Déduktivnyh Sistém I Éé Priménéniá. Russian Original of the Preceding. Kibérnétika. Radio I Savz', Moscow1986, 135 Pp. - K. D. Stroyan and José Manuel Bayod. Foundations of Infinitesimal Stochastic Analysis. Studies in Logic and the Foundations of Mathematics, Vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, Xii + 478 Pp. [REVIEW]Nigel Cutland - 1988 - Journal of Symbolic Logic 53 (4):1261-1262.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  3
    Transfer Theorems for Pi-Monads.Nigel J. Cutland - 1989 - Annals of Pure and Applied Logic 44 (1/2):53.
  23.  5
    Σ1-Well-Founded Compactness.Nigel Cutland & Matt Kauffmann - 1980 - Annals of Mathematical Logic 18 (3):271-296.
  24.  25
    Introducing Logic and Analysis.Nigel Cutland - 2007 - Logic and Analysis 1 (1):v-v.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark