Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Algebra --- Mathematical logic --- Logic, Symbolic and mathematical --- Logique mathématique --- Constructive mathematics --- Mathématiques constructives --- Logique mathématique --- Mathématiques constructives