Author: G. E. Mint͡s

Author's info and books

Information about author G. E. Mint͡s from several data sources.

Author Search

Search for any author

AI-generated bio of "G. E. Mint͡s":


Books Results

Source: The Open Library

G. E. Mint͡s Books

Books writen by author G. E. Mint͡s from The Open Library

1Selected papers in proof theory

By

“Selected papers in proof theory” Metadata:

  • Title: ➤  Selected papers in proof theory
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 1992
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Selected papers in proof theory at online marketplaces:


2A short introduction to intuitionistic logic

By

Book's cover

“A short introduction to intuitionistic logic” Metadata:

  • Title: ➤  A short introduction to intuitionistic logic
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 2000
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: Unclassified

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find A short introduction to intuitionistic logic at online marketplaces:


    3A short introduction to modal logic

    By

    Book's cover

    “A short introduction to modal logic” Metadata:

    • Title: ➤  A short introduction to modal logic
    • Author:
    • Language: English

    Access and General Info:

    • First Year Published: 1992
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find A short introduction to modal logic at online marketplaces:


    4Games, logic, and constructive sets

    By

    Book's cover

    “Games, logic, and constructive sets” Metadata:

    • Title: ➤  Games, logic, and constructive sets
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2003
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: Unclassified

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find Games, logic, and constructive sets at online marketplaces:


      5Avtomaticheskiĭ sintez programm

      By

      “Avtomaticheskiĭ sintez programm” Metadata:

      • Title: ➤  Avtomaticheskiĭ sintez programm
      • Authors:
      • Language: rus

      Access and General Info:

      • First Year Published: 1983
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Marketplaces

      Find Avtomaticheskiĭ sintez programm at online marketplaces:


      6Avtomaticheskiĭ sintez programm

      By

      “Avtomaticheskiĭ sintez programm” Metadata:

      • Title: ➤  Avtomaticheskiĭ sintez programm
      • Authors:
      • Language: rus

      Access and General Info:

      • First Year Published: 1983
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Marketplaces

      Find Avtomaticheskiĭ sintez programm at online marketplaces:


      7Sistema programmirovanii︠a︡ MIKROPRIZ

      By

      “Sistema programmirovanii︠a︡ MIKROPRIZ” Metadata:

      • Title: ➤  Sistema programmirovanii︠a︡ MIKROPRIZ
      • Authors:
      • Language: rus

      Access and General Info:

      • First Year Published: 1987
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Marketplaces

      Find Sistema programmirovanii︠a︡ MIKROPRIZ at online marketplaces:


      8MICROPRIZ

      By

      “MICROPRIZ” Metadata:

      • Title: MICROPRIZ
      • Authors:
      • Language: English

      Access and General Info:

      • First Year Published: 1986
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Marketplaces

      Find MICROPRIZ at online marketplaces:


      9Problemy sokrashchenii︠a︡ perebora

      By

      “Problemy sokrashchenii︠a︡ perebora” Metadata:

      • Title: ➤  Problemy sokrashchenii︠a︡ perebora
      • Authors: ➤  
      • Language: rus

      Access and General Info:

      • First Year Published: 1987
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Marketplaces

      Find Problemy sokrashchenii︠a︡ perebora at online marketplaces:


      10Sovety i soi︠u︡z rabochego klassa i krestʹi︠a︡nstva v Okti︠a︡brʹskoĭ revoli︠u︡t︠s︡ii

      By

      “Sovety i soi︠u︡z rabochego klassa i krestʹi︠a︡nstva v Okti︠a︡brʹskoĭ revoli︠u︡t︠s︡ii” Metadata:

      • Title: ➤  Sovety i soi︠u︡z rabochego klassa i krestʹi︠a︡nstva v Okti︠a︡brʹskoĭ revoli︠u︡t︠s︡ii
      • Authors:
      • Language: rus

      Access and General Info:

      • First Year Published: 1964
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Marketplaces

      Find Sovety i soi︠u︡z rabochego klassa i krestʹi︠a︡nstva v Okti︠a︡brʹskoĭ revoli︠u︡t︠s︡ii at online marketplaces:


      11Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki

      By

      “Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki” Metadata:

      • Title: ➤  Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki
      • Authors:
      • Language: rus

      Access and General Info:

      • First Year Published: 1975
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Marketplaces

      Find Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki at online marketplaces:


      Top of Page