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
.

Proof theory / Gaisi Takeuti

  • Linear

  • MARC

  •  
    QA9.54
    .T34 1975
     
    156017 (Bindery),BOK
    Takeuti, Gaisi , 1926-

         Proof theory. - Amsterdam. - New York , 1975.

         vii, 372 p. ; 23 cm Studies in logic and the foundations of mathematics v. 81.
         Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
         .Includes index.

         ISBN 0444104925.
         
         1. Proof theory.I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    156017BinderyPERPUSTAKAAN PENGURUSAN & PERNIAGAAN TAR(P2)BOOKRAK TERBUKA (OPEN SHELVES)
    159017ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)
    159018ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)
    159021WithdrawnPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top