Home Advanced Search

Advanced Search - Page 1

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
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.)
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.)
AN EXPERIMENTAL STUDY OF THE INFLUENCE OF SOCIAL PSYCHOLOGICAL FACTORS UPON PRODUCTION IN THE THEMATIC APPERCEPTION TEST
  • PDF
  • English
  • Author: PITTS, M. HENRY
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Guiseppe Longo (auth.), David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (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