17 found
Sort by:
Disambiguations:
Nigel Cutland [13]Nigel J. Cutland [4]
  1. Nigel Cutland (2008). Introducing. Logic and Analysis 1 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Nigel Cutland (2007). Introducing Logic and Analysis. Logic and Analysis 1 (1).
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Nigel Cutland (1991). Review: Edward Nelson, The Syntax of Nonstandard Analysis. [REVIEW] Journal of Symbolic Logic 56 (2):751-752.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Nigel J. Cutland (1989). Transfer Theorems for Π-Monads. Annals of Pure and Applied Logic 44 (1-2):53-62.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Nigel Cutland (1988). Review: K. D. Stroyan, Jose Manuel Bayod, Foundations of Infinitesimal Stochastic Analysis. [REVIEW] Journal of Symbolic Logic 53 (4):1261-1262.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Nigel Cutland, Christoph Kessler, Ekkehard Kopp & David Ross (1988). On Cauchy's Notion of Infinitesimal. British Journal for the Philosophy of Science 39 (3):375-378.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  7. Nigel J. Cutland (1984). A Question of Borel Hyperdeterminacy. Mathematical Logic Quarterly 30 (19‐24):313-316.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Nigel Cutland (1980). Computability, an Introduction to Recursive Function Theory. 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  
     
    My bibliography  
     
    Export citation  
  9. Nigel Cutland & Matt Kauffmann (1980). Σ1-Well-Founded Compactness. Annals of Mathematical Logic 18 (3):271-296.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Nigel Cutland (1978). Σ1-Compactness in Languages Stronger Than LA. Journal of Symbolic Logic 43 (3):508 - 520.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Nigel Cutland (1978). $Mathbf{Sigma}1$-Compactness in Languages Stronger Than $Mathscr{L}A$. Journal of Symbolic Logic 43 (3):508-520.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Nigel J. Cutland (1977). Some Theories Having Countably Many Countable Models. Mathematical Logic Quarterly 23 (7‐12):105-110.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Nigel J. Cutland (1976). Compactness Without Languages. Mathematical Logic Quarterly 22 (1):113-115.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Nigel Cutland (1973). Model Theory on Admissible Sets. Annals of Mathematical Logic 5 (4):257-289.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Nigel Cutland (1972). ??-Compactness and Ultraproducts. Journal of Symbolic Logic 37 (4):668-672.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Nigel Cutland (1972). Σ₁-Compactness and Ultraproducts. Journal of Symbolic Logic 37 (4):668 - 672.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Nigel Cutland (1972). $Sum_1$-Compactness and Ultraproducts. Journal of Symbolic Logic 37 (4):668-672.
    Direct download  
     
    My bibliography  
     
    Export citation