On explicit definability in arithmetic

Lou van den Dries

Research output: Chapter in Book/Report/Conference proceeding › Other chapter/report contribution

Original language	English (US)
Title of host publication	Logic in Tehran
Publisher	Assoc. Symbol. Logic, La Jolla, CA
Pages	65-86
Number of pages	22
Volume	26
State	Published - 2006

Name	Lect. Notes Log.
Publisher	Assoc. Symbol. Logic, La Jolla, CA

Library availability