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
.

Dual tableaux : foundations, methodology, case studies / Ewa Orlowska, Joanna Golinska-Pilarek

  • Linear

  • MARC

  •  
    BC135
    .O75 2011
     
    904850 (Shelf),BOK
    Orlowska, Ewa

         Dual tableaux : foundations, methodology, case studies. - New York , 2011.

         xvi, 523 p. : ill. ; 25 cm Trends in logic v. 36.

         ISBN 9789400700048
         .-ISBN 9400700040.
         
         1. Logic, Symbolic and mathematical.I. Golinska-Pilarek, Joanna II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    904850ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top