"Nonstandard analysis is a technique rather a subject. Aside from theorems that tell us that nonstandard notions are e…"

"Takeuti has studied models of axiomatic set theory in which the “truth values” are elements of a complete Boolean alg…"

"The analysis of algorithmic process that emerged from the work of Gödel, Church, Turing, and Post has been of great i…"

"Davis became one of the earliest computer programmers when he began programming on the ORDVAC computer at the Univers…"

"For him delicious flavors dwell In books as in old Muscatel."

"And in the evening, everywhere Along the roadside, up and down, I see the golden torches flare Like lighted street-la…"

"Song like a rose should be; Each rhyme a petal sweet; For fragrance, melody, That when her lips repeat The words, her…"

"The hunter catches a dreadful prey, the seaman steers his ship into an unspeakable harbor, the plowman sows and reaps…"

"You are the king no doubt, but in one respect, at least, I am your equal: the right to reply. I claim that privilege …"

"When Hector heard that challenge he rejoiced and right in the no man's land along his lines he strode, gripping his s…"