Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /

Bibliographic Details
Main Author: Gilmore, Paul C. (Paul Carl), 1925- (Author)
Corporate Author: Taylor & Francis
Format: eBook
Language:English
Published: Boca Raton, FL : A K Peters/CRC Press, an imprint of Taylor and Francis, 2005.
Edition:First edition.
Subjects:
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Chapter 1 Elementary Logic
  • chapter 2 Type Theory
  • chapter 3 An Intensional Type Theory
  • chapter 4 Recursions
  • chapter 5 Choice and Function Term s
  • chapter 6 Intuitionist Lo g ic
  • chapter 7 Logic and M athematics
  • chapter 8 Logic and Computer Science.