Lambda-uchislenie Ego sintaksis i semantika H. Barendregt; trad. din lb. engleza: G. E. Mintsa

By: Publication details: Moskva Mir 1985Description: 606 p ill.; portr 22 cmDDC classification:
  • 510.2
  • 510.6
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Carti IMAR II 27798 (Browse shelf(Opens below)) Available 0008205

Cuprinde bibliografie si index

Scriere chirilica

The Lambda Calculus; Its Syntax and Semantics - H. P. Barendregt (Amsterdam; New York; Oxford North-Holland Publishing Company 1981); (Studies in Logic and the Foundations of Mathematics - 103)

There are no comments on this title.

to post a comment.

Powered by Koha