Home   非線形補足   目次　第4冊補足　訂正　第2刷修正一覧  第3刷改訂一覧   補足目次    第3刷補足

p121

van Lambalgen の公理系

インフォーマルな紹介はつぎのようにできるのではなかろうか．