Author books / Книги автора J. R. Hindley J. P. Seldin » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора J. R. Hindley J. P. Seldin

book Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")

Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")

pdf

Author: J. R. Hindley J. P. Seldin
Language: English
Year: 2011

00

16.02.2024

0

0

book Combinatory logic. / Volume II

Combinatory logic. / Volume II

pdf

Author: [edited by] Haskell B. Curry J. Roger Hindley Jonathan P. Seldin.
Language: English
Year: 1972

00

27.01.2024

0

0

book Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

pdf

Author: J. Roger Hindley Jonathan P. Seldin
Language: English
Year: 2008

00

27.01.2024

0

0

book Combinatory logic

Combinatory logic

djvu

Author: Curry H.B. Hindley J.R. Seldin J.P
Language: English
Year: 1972

00

26.01.2024

0

0

book Lambda-calculus and combinators, an introduction

Lambda-calculus and combinators, an introduction

pdf

Author: J. Roger Hindley Jonathan P. Seldin
Language: English
Year: 2008

00

26.01.2024

0

0