A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)
by:
Grigori Mints (author)
Format: hardcover
ISBN:
9780306463945 (0306463946)
Publish date: October 31st 2000
Publisher: Springer
Pages no: 138
Edition language: English