Grigori Mints – författare

Visar alla böcker från författaren Grigori Mints. Handla med fri frakt och snabb leverans.

7 produkter

1. 

   COLOG-88

   International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

   Av Per Martin-Löf, Grigori Mints

   Häftad, 1990

   551 kr

   Lägg i varukorg

   This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive …

2. 

   Short Introduction to Intuitionistic Logic

   Av Grigori Mints

   Inbunden, 2000

   1530 kr

   Lägg i varukorg

   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 techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material …

3. 

   Short Introduction to Intuitionistic Logic

   Av Grigori Mints

   E-bok, 2005

   1946 kr

   Lägg i varukorg

   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 techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material …

4. 

   Short Introduction to Intuitionistic Logic

   Av Grigori Mints

   Häftad, 2013

   1639 kr

   Lägg i varukorg

   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 techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material …

5. 

   Short Introduction to Modal Logic

   Av Grigori Mints

   Häftad

   177 kr

   Tillfälligt slut

6. 

   Short Introduction to Modal Logic

   Av Grigori Mints

   Inbunden

   393 kr

   Tillfälligt slut

7. 

   Games, Logic, and Constructive Sets

   Av Grigori Mints, Reinhard Muskens

   Inbunden, 2003

   606 kr

   Tillfälligt slut

   Mathematical game theory has been embraced by a variety of scholars: social scientists, biologists, linguists, and now, increasingly, logicians. This volume illustrates the recent advances of game theory in the field. Logicians benefit from things like game theory's ability to explain informational …