Index
Admin Log in
Search form
Home
Organizations
Recursive model theory: Examining computability in the theory of theories, ASL Winter Meeting, San Francisco, California (plenary).
Conference Paper
Overview
authors
Harizanov, Valentina
publication date
January 1995
presented at event
Winter Meeting of the Association for Symbolic Logic
Conference