> > > > > term-rewriting-and-logic-some-extensional-term-models-for-combinatory-logics-and-lambda-calculi-1971

Henk Barendregt - Term Rewriting And Logic- Some Extensional Term Models For Combinatory Logics And Lambda Calculi 1971

Het boek Term Rewriting And Logic- Some Extensional Term Models For Combinatory Logics And Lambda Calculi 1971 van de auteur Henk Barendregt is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Term Rewriting And Logic- Some Extensional Term Models For Combinatory Logics And Lambda Calculi 1971" is nieuw te koop vanaf € 21,00 bij Bol.com.

Nieuw (1) vanaf € 21,00 bij Bol.com Toon 1 nieuw boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 1 nieuw boek gevonden
Term Rewriting And Logic- Some Extensional Term Models For Combinatory Logics And Lambda Calculi 1971

Type: Paperback
ISBN: 9798585284120
Levertijd: 22

Aanbieder:
€ 21,00
Bekijk boek


Andere populaire boeken van Henk Barendregt
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
A Lambda Calculus Satellite

ISBN: 9781848904156


Bekijk boek

Nieuw (2)
vanaf € 45,99
Tweedehands (0)
Lambda Calculus. Its Syntax & Semantics

ISBN: 9781848900660


Bekijk boek

Nieuw (1)
€ 29,99
Tweedehands (0)
Lambda Calculus With Types

ISBN: 9780521766142


Bekijk boek

Nieuw (1)
€ 105,99
Tweedehands (0)
Bekijk hier alle boeken van Henk Barendregt