%PDF-1.4
%
1 0 obj
<<
/Pages 2 0 R
/Type /Catalog
/Metadata 3 0 R
>>
endobj
4 0 obj
<<
/ModDate (D:20220413153130+00'00')
/CreationDate (D:20080214100920+05'30')
/Title (Generalized implication equation languages)
/Creator (ABBYY FineReader)
/Author (Norman Y. Foo, Roslyn B. Riley)
/Subject (Journal of the Australian Mathematical Society)
/Producer ( \(via http://big.faceless.org/products/pdf?version=2.8.4\))
/Keywords (68 C 01, implication language, algebraic theory, decidability, completeness.)
>>
endobj
2 0 obj
<<
/Count 6
/Kids [5 0 R 6 0 R 7 0 R 8 0 R 9 0 R 10 0 R]
/Type /Pages
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 2285
>>
stream
68 C 01, implication language, algebraic theory, decidability, completeness.
(via http://big.faceless.org/products/pdf?version=2.8.4)
2008-02-14T10:09:20+05:01
2009-04-04T12:24:16+01:00
2022-04-13T15:31:30+00:00
uuid:d2d3179d-438d-4cca-b25d-7490797584dd
application/pdf
Norman Y. Foo, Roslyn B. Riley
Generalized implication equation languages
Journal of the Australian Mathematical Society
https://doi.org/10.1017/S1446788700022217 Published online by Cambridge University Press
2009-04-04T12:24:16+01:00
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S1446788700022217
endstream
endobj
5 0 obj
<<
/Contents [11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 445.68 650.88]
/CropBox [0 0 445.68 650.88]
/Resources <<
/ColorSpace <<
/CS0 /DeviceRGB
/CS1 /DeviceGray
>>
/Font <<
/T1_0 21 0 R
/T1_1 22 0 R
/T1_2 23 0 R
/F4 24 0 R
>>
/XObject <<
/Im0 25 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 26 0 R
>>
/LastModified (D:20080211202853+05'30')
/Parent 2 0 R
/Annots [27 0 R]
>>
endobj
6 0 obj
<<
/Contents [28 0 R 29 0 R 30 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 445.68 650.88]
/CropBox [0 0 445.68 650.88]
/Resources <<
/ColorSpace <<
/CS0 /DeviceRGB
/CS1 /DeviceGray
>>
/Font <<
/T1_0 22 0 R
/T1_1 21 0 R
/T1_2 23 0 R
/F4 24 0 R
>>
/XObject <<
/Im0 31 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 32 0 R
>>
/LastModified (D:20080211202853+05'30')
/Parent 2 0 R
/Annots [33 0 R]
>>
endobj
7 0 obj
<<
/Contents [34 0 R 35 0 R 36 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 445.68 650.88]
/CropBox [0 0 445.68 650.88]
/Resources <<
/ColorSpace <<
/CS0 /DeviceRGB
/CS1 /DeviceGray
>>
/Font <<
/T1_0 22 0 R
/T1_1 21 0 R
/F3 24 0 R
>>
/XObject <<
/Im0 37 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 38 0 R
>>
/LastModified (D:20080211202853+05'30')
/Parent 2 0 R
/Annots [39 0 R]
>>
endobj
8 0 obj
<<
/Contents [40 0 R 41 0 R 42 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 445.68 650.88]
/CropBox [0 0 445.68 650.88]
/Resources <<
/ColorSpace <<
/CS0 /DeviceRGB
/CS1 /DeviceGray
>>
/Font <<
/T1_0 22 0 R
/T1_1 21 0 R
/F3 24 0 R
>>
/XObject <<
/Im0 43 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 44 0 R
>>
/LastModified (D:20080211202853+05'30')
/Parent 2 0 R
/Annots [45 0 R]
>>
endobj
9 0 obj
<<
/Contents [46 0 R 47 0 R 48 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 445.68 650.88]
/CropBox [0 0 445.68 650.88]
/Resources <<
/ColorSpace <<
/CS0 /DeviceRGB
/CS1 /DeviceGray
>>
/Font <<
/T1_0 22 0 R
/T1_1 21 0 R
/F3 24 0 R
>>
/XObject <<
/Im0 49 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 50 0 R
>>
/LastModified (D:20080211202853+05'30')
/Parent 2 0 R
/Annots [51 0 R]
>>
endobj
10 0 obj
<<
/Contents [52 0 R 53 0 R 54 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 445.68 650.88]
/CropBox [0 0 445.68 650.88]
/Resources <<
/ColorSpace <<
/CS0 /DeviceRGB
/CS1 /DeviceGray
>>
/Font <<
/T1_0 22 0 R
/T1_1 21 0 R
/T1_2 23 0 R
/F4 24 0 R
>>
/XObject <<
/Im0 55 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState 56 0 R
>>
/LastModified (D:20080211202853+05'30')
/Parent 2 0 R
/Annots [57 0 R]
>>
endobj
11 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
12 0 obj
<<
/Length 649
/Filter /FlateDecode
>>
stream
HtT]o1|Ej_gO""
\*BhJz@݅R!bggfw8}߄(͙Pڒp͎^gtCIo0\WwN?eE-sPcUqK3
ZnIv._ēkahf8%s<v+<+PLKS.ٺڬHN+}e`xX\D[!
+ʙND5
K( Y9##X(%jP|0kk h 0ej?-Fo榡2کXrxu4.ŏ