Type of document: Article

Language: English

Author(s): Takahashi, Moto-o

Title: Ackermann's Model and Recursive Predicates

Year: 1968

Source: Proceedings of the Japan Academy

Volume: 44

Pages: 41-42

Catalog