Custom cover image
Custom cover image

Programming in Martin Löf's type theory : an introduction / Bengt Nordström, Kent Petersson and Jan M. Smith

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Oxford science publications | International series of monographs on computer science ; 7Publisher: Oxford : Clarendon Press, 1990Description: X, 221 S : graph. DarstISBN:
  • 0198538146
Subject(s): MSC: MSC: *03B70 | 03F35 | 03-01 | 68-02 | 68N01RVK: RVK: ST 230 | ST 120LOC classification:
  • QA76.6
Call number: Grundsignatur: 95 A 4157PPN: PPN: 274875799
Holdings
Item type Home library Shelving location Call number Status Date due Barcode Item holds
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 95 A 4157 Available 47159927090
Total holds: 0

Powered by Koha