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
.

Algebra of proofs / M. E. Szabo

  • Linear

  • MARC

  •  
    QA9.54
    .S94 1978
     
    150809 (Withdrawn),BOK
    Szabo, M. E

         Algebra of proofs. - Amsterdam , 1978.

         xii, 297 p. ; 23 cm Studies in logic and the foundations of mathematics v. 88.
         Includes indexes.

         ISBN 0720422868.
         
         1. Proof theory 2. Categories (Mathematics) 3. Combinatory logic.I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    150809WithdrawnPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)
    150810WithdrawnPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)
    150811ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)
    150812ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKret
    150813WithdrawnPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top