Mathematical logic and theoretical computer science: D. Kueker, E. G. K. López-Escobar, and C. H. Smith, Dekker, 1987, 383 pp.

✍ Scribed by Gian-Carlo Rota

• Publisher: Elsevier Science
• Year: 1988
• Tongue: English
• Weight: 52 KB
• Volume: 72
• Category: Article
• ISSN: 0001-8708
• DOI: 10.1016/0001-8708(88)90023-0