Mathematical foundations
Category theory Mathematical logic Set theory
Proof Theory
A Selection Of Papers From The Leeds Proof Theory Programme 1990
Editor: Peter Aczel
Cambridge University Press (United Kingdom), 2008
Paperback, 320 pages
Hindley J. Roger:
Basic Simple Type Theory
Cambridge University Press (United Kingdom), 2008
Paperback, 200 pages
Popkorn Sally:
First Steps In Modal Logic
Cambridge University Press (United Kingdom), 2008
Paperback, 332 pages
Amadio Roberto M., Curien Pierre-Louis:
Domains And Lambda-Calculi
Cambridge University Press (United Kingdom), 2008
Paperback, 504 pages
Stoltenberg-Hansen Viggo, Lindstrom I., Griffor E.R.:
Mathematical Theory Of Domains
Cambridge University Press (United Kingdom), 2008
Paperback, 364 pages
Hodges Wilfrid:
Model Theory
Cambridge University Press (United Kingdom), 2008
Paperback, 788 pages
Fremlin D.H.:
Consequences Of Martin's Axiom
Cambridge University Press (United Kingdom), 2008
Paperback, 340 pages
Steen S.W.P.:
Mathematical Logic With Special Reference To The Natural Numbers
Cambridge University Press (United Kingdom), 2008
Paperback, 656 pages
Category theory Mathematical logic Set theory








