On the expressive power of first-order logic with built in predicates
By: vorgelegt von Nicole Schweikardt
Publisher: Logos
Published: 2002
Place of publication: Berlin
Language: eng
Number of pages: 224
ISBN-13: 9783832500177
Notes: Mainz, University, Thesis (doctoral), 2002.