Søkt på: Bøker av Grigori Mints
totalt 6 treff
Problems of Reducing the Exhaustic Search
A Short Introduction To Modal Logic
Modal Logic can be characterized as the logic of necessity and possibility, of 'must be' and 'may be'. A Short Introduction to Modal Logic presents both semantic and syntactic …
Games, Logic, and Constructive Sets
Mathematical game theory has been embraced by a variety of scholars: social scientists, biologists, linguists, and now, increasingly, logicians. This volume illustrates the recent …
Short Introduction to Intuitionistic Logic
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic …
A Short Introduction to Intuitionistic Logic
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic …