Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
BrazilianConferenceonMathematicalLogic, WalterA.(WalterAlexandre) Carnielli, ほか
- 出版社
- American Mathematical Society
- 発売日
- 1999-01-01
- ISBN
- 9780821813645