Combinators, λ-terms and proof theory.

Saved in:
Bibliographic Details
Main Author: Stenlund, Sören, 1943-2019 (Author)
Format: Book
Language:English
Published: Dordrecht : D. Reidel Publishing Comp., 1972.
Physical Description: 184 strán.
Tags: Add Tag
No Tags, Be the first to tag this record!

Scan on demand from our collection - We do not copy Slovak Technical Standards (STN)

Objednať si môžete skeny článkov z časopisov, častí kníh (maximálne do 20% obsahu celého dokumentu) za účelom vzdelávania, výskumu a bádania v súlade so zákonom o ochrane autorských práv... čítajte ďalej

Email this
Celkový počet rezervácií: 0
 Status   Due Date   Barcode
Call Number 
 Location  Description
Sort
Notes
Absenčne  Place a Hold 2720451435
III.105536
Výpožičný pult Hlavná 10