SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES


Quick Search :

RECORD DETAIL
Back To Previous  
Title Logic symposium Hakone 1979, 1980
Edition
Call Number 511.3 LOG
ISBN/ISSN 3-540-11161-1
Author(s) Muller, G.H. - Personal Name
Takeuti, G. - Personal Name
Tugue, T. - Personal Name
Subject(s) Logic, Symbolic and Mathematical - Congresses
Classification 511.3
Series Title Lecture Notes in Mathematics No.891
GMD Text
Language English
Publisher Longmans
Publishing Year 1981
Publishing Place Cambridge
Collation xi, 394p.
Abstract/Notes
Specific Detail Info
Image
File Attachment
LOADING LIST...
Availability
LOADING LIST...
  Back To Previous




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U