BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

j p seldin

4 cilt bulundu.

Cilt sonuçları

Symbolic and mathematical LogicStudies in illative combinatory logicJ. P. Seldin

Studies in illative combinatory logic

J. P. Seldin · V.R.B. Offsetdrukkerij

150 sayfa · 1968

Combinatory logic / Logic, Symbolic and mathematical / Symbolic and mathematical Logic

CiltLambda-Calculus and CombinatorsJ. Roger Hindley, Jonathan P. Seldin

Lambda-Calculus and Combinators

J. Roger Hindley, Jonathan P. Seldin · Cambridge University Press

Sayfa sayısı yok · 2008

Kategori yok

CiltLambda-calculus and Combinators, an IntroductionJ. Roger Hindley, J. P. Seldin

Lambda-calculus and Combinators, an Introduction

J. Roger Hindley, J. P. Seldin · Cambridge University Press

Sayfa sayısı yok · 2008

Kategori yok

SurgeryTo H.B. CurryHaskell B. Curry, J. Roger Hindley, J. P. Seldin

Haskell B. Curry, J. Roger Hindley, J. P. Seldin · Academic Press

606 sayfa · 1980

Addresses, essays, lectures / Symbolic and mathematical Logic / Cornea / Congresses / Surgery