Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

Methods of cut-elimination / Matthias Baaz, Alexander Leitsch

  • Linear

  • MARC

  •  
    QA9.54
    .B33 2011
     
    904394 (Shelf),BOK
    Baaz, Matthias

         Methods of cut-elimination. - Dordrecht , 2011.

         vi, 287 p. ; 24 cm Trends in logic v. 34.

         ISBN 9400703198
         .-ISBN 9789400703193.
         
         1. Proof theory.I. Leitsch, Alexander - 1952- II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    904394ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top