Keywords:
Combinatory logic
;
Combinatory logic
;
Logique combinatoire
;
Combinatory logic
;
Logica Matematica
;
Electronic books
;
Electronic books
Description / Table of 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
Type of Medium:
Online Resource
Pages:
Online Ressource (xv, 417 pages)
Edition:
Online-Ausg.
ISBN:
0444533877
,
9780444533876
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 22
URL:
http://www.sciencedirect.com/science/book/9780444533876
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/22
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/22
URL:
https://www.sciencedirect.com/science/book/9780444533876
DDC:
511.3
Parallel Title:
Becker, Oskar Rezensiert in [Rezension von: Curry, Haskell B., Combinatory Logic. Vol. I]
Language:
English
Note:
Includes bibliographical references and index. - Print version 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.
Permalink