Amazon cover image
Image from Amazon.com

Combinatory logic / edited by Haskell B. Curry, Robert Feys and William Craig.

Contributor(s): Series: Studies in logic and the foundations of mathematics ; v. 22.1958Description: 1 online resource (xv, 417 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9780444533876
  • 0444533877
Subject(s): Genre/Form: LOC classification:
  • QA9.5 .C66 1958
Online resources:
Contents:
Formal systems -- Epitheory -- Lambda-conversion -- Church-Rosser theorem -- Intuitive theory of combinators -- Synthetic theory of combinators -- Logistic foundations -- Introduction to illative combinatory logic -- Basic theory of functionality -- Stronger theories of functionality.
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Formal systems -- Epitheory -- Lambda-conversion -- Church-Rosser theorem -- Intuitive theory of combinators -- Synthetic theory of combinators -- Logistic foundations -- Introduction to illative combinatory logic -- Basic theory of functionality -- Stronger theories of functionality.

Includes bibliographical references and index.

Print version record.

Elsevier ScienceDirect All Books

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu