The Resource The functional interpretation of logical deduction, Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay

The functional interpretation of logical deduction, Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay

Label
The functional interpretation of logical deduction
Title
The functional interpretation of logical deduction
Statement of responsibility
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
E7B
Dewey number
511.3
Index
index present
LC call number
BC71
LC item number
.Q45 2012eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Advances in logic
Series volume
v. 5
Label
The functional interpretation of logical deduction, Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay
Publication
Bibliography note
Includes bibliographical references (pages 253-264) and index
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocn785777991
Dimensions
unknown
Extent
1 online resource (xxxii, 266 pages)
Form of item
online
Isbn
9789814360968
Media category
computer
Media MARC source
rdamedia
Media type code
c
http://library.link/vocab/recordID
.b26848880
Specific material designation
remote
System control number
  • (OCoLC)785777991
  • pebcs9814360961

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...