Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Grigori Mints

Books by author

Grigori Mints

A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)

A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)

2000 · ENGLISH · PDF

View details →

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

2000 · ENGLISH · PDF

View details →

Games, Logic, and Constructive Sets

Games, Logic, and Constructive Sets

2003 · ENGLISH · DJVU

View details →

Games, Logic, and Constructive Sets

Games, Logic, and Constructive Sets

2003 · ENGLISH · DJVU

View details →

Games, logic, and constructive sets

Games, logic, and constructive sets

2003 · ENGLISH · DJVU

View details →

A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic

2000 · ENGLISH · PDF

View details →

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

1998 · ENGLISH · DJVU

View details →

Short Introduction to Intuitionistic Logic

Short Introduction to Intuitionistic Logic

2000 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme