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
.

Language in action : categories, lambdas and dynamic logic / Johan Van Benthem

  • Linear

  • MARC

  •  
    QA9.5
    .V36
     
    100752MU (Shelf),BOK
    Van Benthem, Johan

         Language in action : categories, lambdas and dynamic logic. - Amsterdam , 1991.

         x, 349p. ; 25cm Studies in logic and the foundations of mathematics vol.130.
         Includes bibliographical references and index.

         ISBN 0444890009.
         
         1. Logic, Symbolic and mathematical.I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    100752MUShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top