Home Advanced Search

Advanced Search - Page 1

Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Andrew Pitts (eds.)
Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]
  • DJVU
  • English
  • Year: 1997
  • Author: Pitts Andrew M., Dybjer P. (eds.)
Notes on Categorical Logic
  • PDF
  • English
  • Year: 1989
  • Author: Andrew M. Pitts
Categorical Logic
  • PDF
  • English
  • Year: 1995
  • Author: Andrew M. Pitts
Semantics and logics of computation
  • DJVU
  • English
  • Year: 2009
  • Author: Andrew M. Pitts, P. Dybjer
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Dimitris Achlioptas, Ricardo Menchaca-Mendez (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Dimitris Achlioptas, Ricardo Menchaca-Mendez (auth.), Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.)
Fundamentals of New Testament Textual Criticism
  • EPUB
  • English
  • Year: 2015
  • Author: Stanley E. Porter, Andrew W. Pitts
Christian Origins and the Establishment of the Early Jesus Movement
  • PDF
  • English
  • Year: 2018
  • Author: Stanley E. Porter; Andrew W Pitts
Paul and the Greco-Roman Philosophical Tradition
  • PDF
  • English
  • Year: 2017
  • Author: Joseph R. Dodson; Andrew W. Pitts
search