This is TeX, Version 3.14159 (preloaded format=LaTeX 99.4.14)  8 MAY 1999 22:50
**&LaTeX logic.tex
(logic.tex
LaTeX2e <1996/12/01>
(:TeX-inputs:LaTeX:article.cls
Document Class: article 1996/10/31 v1.3u Standard LaTeX document class
(:TeX-inputs:LaTeX:size10.clo
File: size10.clo 1996/10/31 v1.3u Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
\c@conject=\count87
\c@axiom=\count88
 (logic.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 36.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 36.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 36.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 36.
 [1

]
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 93.

Overfull \hbox (5.33945pt too wide) in paragraph at lines 135--139
[]\OT1/cmr/m/it/10 Far away from the par-ti-cle space-time is topo-
 []

[2] [3]
Overfull \hbox (34.07964pt too wide) in paragraph at lines 232--232
[]\OT1/cmr/bx/n/14.4 STATE-PREPARATION AND MEA-SURE-MENT 
 []

[4]
Overfull \hbox (155.76721pt too wide) in paragraph at lines 347--350
[][] 
 []

[5] [6]
Overfull \hbox (155.76721pt too wide) in paragraph at lines 474--476
[][] 
 []


Overfull \hbox (2.41733pt too wide) in paragraph at lines 481--490
\OT1/cmr/m/n/10 distributive propo-si-tion sys-tems, quan-tum me-chan-ics and c
om-plex Hilbert spaces
 []

[7] [8]
Overfull \hbox (21.02765pt too wide) in paragraph at lines 549--550
[][] 
 []

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 583.

Overfull \hbox (21.02765pt too wide) in paragraph at lines 613--615
[][] 
 []


Overfull \hbox (21.02765pt too wide) in paragraph at lines 680--682
[][] 
 []

[9] [10] [11] [12] [13] [14] [15] [16] (logic.aux) ) 
Here is how much of TeX's memory you used:
 338 strings out of 5929
 3283 string characters out of 28856
 54728 words of memory out of 200001
 3214 multiletter control sequences out of 10000
 11047 words of font info for 38 fonts, out of 60000 for 256
 14 hyphenation exceptions out of 2551
 29i,15n,19p,248b,333s stack positions out of 600i,150n,200p,3000b,2000s

Output written on logic.dvi (16 pages, 59440 bytes).