Eike Ritter

E -R · E. Ritter

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control978-O-19-852633-9
(O-19-852633-4)
2004David J. Pym

Eike Rösch

While summoning the
fingers, Florida attached
without playing fog