Grigori Mints's Documents

Grigori Mints's Documents

A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic
Read more
Short Introduction to Intuitionistic Logic

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

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

A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)
Read more
Games, logic, and constructive sets

Games, logic, and constructive sets
Read more
Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)

Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)
Read more
Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)

Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)
Read more
Advances in Learning Software Organizations: 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004, Proceedings (Lecture Notes in Computer Science)

Advances in Learning Software Organizations: 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004, Proceedings (Lecture Notes in Computer Science)
Read more
Advances in Learning Software Organizations, 6 conf., LSO 2004

Advances in Learning Software Organizations, 6 conf., LSO 2004
Read more
Advances in Soft Computing, Part II - MICAI 2011

Advances in Soft Computing, Part II - MICAI 2011
Read more
Advances in Artificial Intelligence, Part I - MICAI 2011

Advances in Artificial Intelligence, Part I - MICAI 2011
Read more
Van der Corput's Method of Exponential Sums (London Mathematical Society Lecture Note Series)

Van der Corput's Method of Exponential Sums (London Mathematical Society Lecture Note Series)
Read more
Van der Corput's method of exponential sums

Van der Corput's method of exponential sums
Read more
Stochastic Stability of Differential Equations

Stochastic Stability of Differential Equations
Read more
Van der Corput's method of exponential sums

Van der Corput's method of exponential sums
Read more
Heterophase network polymers: synthesis, characterization, and properties

Heterophase network polymers: synthesis, characterization, and properties
Read more
Heterophase Network Polymers - Synthesis Characterization and Properties

Heterophase Network Polymers - Synthesis Characterization and Properties
Read more
Artificial black holes

Artificial black holes
Read more
Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, ... Lecture Notes in Artificial Intelligence)

Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, ... Lecture Notes in Artificial Intelligence)
Read more
Artificial Black Holes

Artificial Black Holes
Read more
Artifical Black Holes

Artifical Black Holes
Read more
Artificial Black Holes

Artificial Black Holes
Read more
Social Security Reform in Transition Economies: Lessons from Kazakhstan

Social Security Reform in Transition Economies: Lessons from Kazakhstan
Read more
Developer's Guide to Microsoft Enterprise Library, Visual Basic Edition (Patterns & Practices)

Developer's Guide to Microsoft Enterprise Library, Visual Basic Edition (Patterns & Practices)
Read more
Developer's Guide to Microsoft Enterprise Library, C# Edition

Developer's Guide to Microsoft Enterprise Library, C# Edition
Read more