WorldCat Identities

Mint︠s︡, G. E.

Overview
Works: 80 works in 220 publications in 3 languages and 2,660 library holdings
Genres: Conference papers and proceedings  Catalogs  Bibliographies 
Roles: Author, Editor, htt, Other, Contributor, Translator, tra, xxx, Thesis advisor
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works by G. E Mint︠s︡
A short introduction to intuitionistic logic by G. E Mint︠s︡( )

38 editions published between 1992 and 2005 in English and held by 1,047 WorldCat member libraries worldwide

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 provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings by Per Martin-Löf( )

14 editions published in 1990 in English and Italian and held by 453 WorldCat member libraries worldwide

"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 systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries."--Publisher's website
A short introduction to modal logic by G. E Mint︠s︡( Book )

11 editions published in 1992 in English and held by 227 WorldCat member libraries worldwide

Logic Colloquium '96 : proceedings of the colloquium held in San Sebastián, Spain, July 9-15, 1996 by Jesús M Larrazabal( )

19 editions published between 1998 and 2017 in English and held by 208 WorldCat member libraries worldwide

This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience
Problems of reducing the exhaustive search( Book )

8 editions published between 1996 and 2012 in English and held by 198 WorldCat member libraries worldwide

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council "Cybernetics" of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife, Nina Maslova. Maslov is known as the originator of the inverse method in automated deduction, which was discovered at the same time as the resolution method
Selected papers in proof theory by G. E Mint︠s︡( Book )

8 editions published in 1992 in English and Italian and held by 100 WorldCat member libraries worldwide

Games, logic, and constructive sets by G. E Mint︠s︡( Book )

7 editions published in 2003 in English and held by 93 WorldCat member libraries worldwide

Logic Colloquium '96 by Logic Colloquium( )

5 editions published in 2016 in English and held by 31 WorldCat member libraries worldwide

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twelfth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association of Symbolic Logic, held at the University of the Basque Country, San Sebastian in July 1996. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic. The volume includes eleven papers from pre-eminent researchers in mathematical logic
Proofs, categories and computations : essays in honor of Grigori Mints by Solomon Feferman( Book )

3 editions published in 2010 in English and held by 28 WorldCat member libraries worldwide

Matematicheskai︠a︡ logika : katalog zarubezhnykh knig Biblioteki Akademii nauk SSSR, 1950-1971 gg. by I. A Lifshit︠s︡( Book )

2 editions published in 1974 in Russian and held by 24 WorldCat member libraries worldwide

Matematicheskai︠a︡ teorii︠a︡ logicheskogo vyvoda; sbornik perevodov by A. V Idelʹson( Book )

2 editions published in 1967 in Russian and held by 23 WorldCat member libraries worldwide

A Short Introduction to Intuitionistic Logic by G. E Mint︠s︡( )

2 editions published in 2000 in English and held by 22 WorldCat member libraries worldwide

Computer logic : International Conference COLOG-88, Tallinn, USSR, December 1988 : proceedings by International Conference on Computer Logic( Book )

1 edition published in 1990 in English and held by 21 WorldCat member libraries worldwide

Selected papers in proof theory by G. E Mint︠s︡( Book )

1 edition published in 1992 in English and held by 16 WorldCat member libraries worldwide

Problems of reducing the exhaustive search( Book )

2 editions published in 1997 in English and held by 10 WorldCat member libraries worldwide

Fourteen papers on logic, geometry, topology and algebra by G. S Ceĭtin( )

1 edition published in 1972 in English and held by 10 WorldCat member libraries worldwide

Symbolic logic and mechanical theorem proving by Chin-Liang Chang( Book )

2 editions published in 1983 in Russian and Undetermined and held by 7 WorldCat member libraries worldwide

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis
Modal logics by Robert Feys( Book )

5 editions published in 1974 in Russian and held by 7 WorldCat member libraries worldwide

Matematičeskaja logika katalog zarubežnych knig Biblioteki Akademii Nauk SSSR ; 1950-1971 gg by I. A Lifšic( Book )

3 editions published in 1974 in Russian and held by 7 WorldCat member libraries worldwide

IV Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ Primenenie metodov matematicheskoĭ logiki : Sekt︠s︡ii︠a︡ Predstavlenie znaniĭ i sintez programm : tezisy dokladov by Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ Primenenie metodov matematicheskoĭ logiki( Book )

2 editions published in 1986 in Russian and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for A short in ... to 0.00 for A short in ...)

WorldCat IdentitiesRelated Identities
A short introduction to intuitionistic logic A Short Introduction to Intuitionistic Logic
Covers
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedingsA short introduction to modal logicLogic Colloquium '96 : proceedings of the colloquium held in San Sebastián, Spain, July 9-15, 1996Games, logic, and constructive setsLogic Colloquium '96A Short Introduction to Intuitionistic LogicComputer logic : International Conference COLOG-88, Tallinn, USSR, December 1988 : proceedings
Alternative Names
Grigori Mints

Grigori Mints, 1939-2014.

Grigori Mints matemático ruso

Grigori Mints matematikan rus

Grigori Mints mathématicien russe

Grigori Mints Russian mathematician

Grigori Mints Russian mathematician (1939-2014)

Grigori Mints Russisch filosoof (1939-2014)

Grigori Mints Venemaa matemaatik

Grigori Minz

Minc, G. E.

Minc, G.E. 1939-

Minc, G. Je., 1939-2014

Minc, Grigorij E.

Minc, Grigorij E. 1939-

Minc, Grigorij E., 1939-2014

Mint︠s︡, G

Mints, G. E.

Mints, G.E. 1939-

Mints, G. E., 1939-2014

Mints, Grigori.

Mints, Grigori 1939-

Mints, Grigori, 1939-2014

Mints Grigori E.

Mints, Grigorii

Mints Grigorii E.

Mints, Grigorii E. 1939-

Mints, Grigorii E., 1939-2014

Минц Г.Е.

Минц Григорий Ефимович

Минц, Григорий Ефимович, 1939-2014.

Минц, Григорий Ефроимович

Минц, Григорий Ефроимович, 1939-2014.

نعناع جريجورى فيلسوف من الاتحاد السوفييتى

Languages
English (117)

Russian (15)

Italian (3)