%PDF-1.3
%
1 0 obj
<<
/PageMode /UseThumbs
/Names 2 0 R
/Outlines 3 0 R
/Metadata 4 0 R
/Pages 5 0 R
/OpenAction [6 0 R /Fit]
/Type /Catalog
>>
endobj
7 0 obj
<<
/CreationDate (D:20071206083201+08'00')
/Subject ()
/Author ()
/Creator (Springer)
/Keywords ()
/Producer (Acrobat Distiller 7.0 \(Windows\))
/ModDate (D:20071206091709+08'00')
/Title ()
>>
endobj
2 0 obj
<<
/Dests 8 0 R
/EmbeddedFiles 9 0 R
>>
endobj
3 0 obj
<<
/First 10 0 R
/Count 18
/Last 10 0 R
>>
endobj
4 0 obj
<<
/Length 3711
/Subtype /XML
/Type /Metadata
>>
stream
Acrobat Distiller 7.0 (Windows)
2007-12-06T08:32:01+08:00
Springer
2007-12-06T09:17:09+08:00
2007-12-06T09:17:09+08:00
application/pdf
uuid:696c11c6-3d4a-4aaf-a406-f964559efe29
uuid:0680c7d6-3844-44bf-8229-b7af1b64c960
endstream
endobj
5 0 obj
<<
/Count 26
/Type /Pages
/Kids [11 0 R 12 0 R 13 0 R]
>>
endobj
6 0 obj
<<
/CropBox [0 0 439.37 666.142]
/Annots [14 0 R]
/Parent 11 0 R
/Contents [15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R]
/Rotate 0
/MediaBox [0 0 439.37 666.142]
/Thumb 23 0 R
/Resources 24 0 R
/Type /Page
>>
endobj
8 0 obj
<<
/Kids [25 0 R 26 0 R]
>>
endobj
9 0 obj
<<
/Kids [27 0 R]
>>
endobj
10 0 obj
<<
/First 28 0 R
/Parent 3 0 R
/Dest (title.-1)
/Count 17
/Last 28 0 R
/Title (On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic)
>>
endobj
11 0 obj
<<
/Parent 5 0 R
/Count 11
/Type /Pages
/Kids [29 0 R 6 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R
38 0 R]
>>
endobj
12 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R]
>>
endobj
13 0 obj
<<
/Parent 5 0 R
/Count 5
/Type /Pages
/Kids [49 0 R 50 0 R 51 0 R 52 0 R 53 0 R]
>>
endobj
14 0 obj
<<
/Rect [372.864 162.549 383.364 173.053]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 0]
/Dest (cite.LogFrame)
/Type /Annot
>>
endobj
15 0 obj
<<
/Length 905
/Filter /FlateDecode
>>
stream
H|Tr6#28m $rc'dh
CPq/u2@`x->E[9i<64(-~[13E-2PJD+(2$RAh']XZ(E3