Skip to main content

Computers‚ reasoning and mathematical practice

Ursula Martin

Book Title
Computational Logic
Organisation
Springer Berlin Heidelberg
Pages
301–346
Year
1999