Search Results - "Oxford texts in logic ;"

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Ian Chiswell and Wilfrid Hodges. Mathematical logic. Oxford Texts in Logic, vol. 3. Oxford University Press, Oxford, England, 2007, 250 pp

    Ian Chiswell and Wilfrid Hodges. Mathematical logic. Oxford Texts in Logic, vol. 3. Oxford University Press, Oxford, England, 2007, 250 pp by Lubarsky, Robert

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity. Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp

    Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity. Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp by Urquhart, Alasdair

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Mathematical logic, by Ian Chiswell and Wilfrid Hodges. Pp. 250. £31.00 (pbk) £75.00 (hbk). 2007. ISBN 978-0-19-921562-1 (pbk) 978-0-19-857100-1 (hardback) (Oxford University Press, Oxford texts in logic)

    Mathematical logic, by Ian Chiswell and Wilfrid Hodges. Pp. 250. £31.00 (pbk) £75.00 (hbk). 2007. ISBN 978-0-19-921562-1 (pbk) 978-0-19-857100-1 (hardback) (Oxford University Press, Oxford texts in logic) by Kilmister, C. W.

    Published in Mathematical gazette
    Get full text
    Review
    Save to List
    Saved in:
  4. 4
    Eminently reasonable thinking: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

    Eminently reasonable thinking: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

    Get full text
    Review
    Save to List
    Saved in:
  5. 5
    Computable Følner monotilings and a theorem of Brudno

    Computable Følner monotilings and a theorem of Brudno by MORIAKOV, NIKITA

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    An institution theory of formal meta-modelling in graphically extended BNF

    An institution theory of formal meta-modelling in graphically extended BNF by ZHU, Hong

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: