Explore: Logica Matematica

Discover books, insights, and more — all in one place.

Learn more about Logica Matematica with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “logica-matematica”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1The Poincaré conjecture

By

Book's cover

“The Poincaré conjecture” Metadata:

  • Title: The Poincaré conjecture
  • Author:
  • Languages: ita - English
  • Number of Pages: Median: 304
  • Publisher: ➤  Rizzoli - FISCHER Taschenbuch - Distributed to the trade by Holtzbrinck Publishers - Walker & Company - Walker & Co. - Penguin Books, Limited
  • Publish Date: ➤  
  • Publish Location: Milano - New York

“The Poincaré conjecture” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2007
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

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 The Poincaré conjecture at online marketplaces:


2The elements of mathematical logic

By

Book's cover

“The elements of mathematical logic” Metadata:

  • Title: ➤  The elements of mathematical logic
  • Author:
  • Language: English
  • Number of Pages: Median: 214
  • Publisher: Dover - Dover Publications
  • Publish Date:
  • Publish Location: ➤  New York - Mineola, N.Y - New York] - [New York]

“The elements of mathematical logic” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1950
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

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 The elements of mathematical logic at online marketplaces:


3Logic and visual information

By

Book's cover

“Logic and visual information” Metadata:

  • Title: Logic and visual information
  • Author:
  • Number of Pages: Median: 124
  • Publisher: CSLI Publications - FoLLI
  • Publish Date:
  • Publish Location: Stanford, Calif

“Logic and visual information” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1995
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

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 Logic and visual information at online marketplaces:


4Storia della logica

By

Book's cover

“Storia della logica” Metadata:

  • Title: Storia della logica
  • Author:
  • Language: ita
  • Number of Pages: Median: 959
  • Publisher: Garzanti
  • Publish Date:
  • Publish Location: Milano

“Storia della logica” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1993
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

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 Storia della logica at online marketplaces:


5Advances in contemporary logic and computer science

By

Book's cover

“Advances in contemporary logic and computer science” Metadata:

  • Title: ➤  Advances in contemporary logic and computer science
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 326
  • Publisher: American Mathematical Society
  • Publish Date:
  • Publish Location: Providence, RI

“Advances in contemporary logic and computer science” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1999
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

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 Advances in contemporary logic and computer science at online marketplaces:


6Logical and logico-mathematical calculi. 2.

By

Book's cover

“Logical and logico-mathematical calculi. 2.” Metadata:

  • Title: ➤  Logical and logico-mathematical calculi. 2.
  • Author:
  • Language: English
  • Number of Pages: Median: 183
  • Publisher: American Mathematical Society
  • Publish Date:
  • Publish Location: Providence, R.I

“Logical and logico-mathematical calculi. 2.” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1974
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

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 Logical and logico-mathematical calculi. 2. at online marketplaces:


7The natural way to reading

By

Book's cover

“The natural way to reading” Metadata:

  • Title: The natural way to reading
  • Author:
  • Language: English
  • Number of Pages: Median: 239
  • Publisher: ➤  Little, Brown - Little Brown & Co
  • Publish Date:
  • Publish Location: Boston

“The natural way to reading” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1974
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

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 The natural way to reading at online marketplaces:


8Logic Colloquium

By

Book's cover

“Logic Colloquium” Metadata:

  • Title: Logic Colloquium
  • Author:
  • Language: English
  • Number of Pages: Median: 251
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: Berlin - New York

“Logic Colloquium” Subjects and Themes:

Edition Identifiers:

Access and General Info:

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

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 Logic Colloquium at online marketplaces:


9Mathematical logic

By

Book's cover

“Mathematical logic” Metadata:

  • Title: Mathematical logic
  • Author:
  • Languages: ger - English
  • Number of Pages: Median: 346
  • Publisher: ➤  W. W. Norton & company, inc. - Harvard University Press - Harvard Univ. Pr. - Harper & Row
  • Publish Date: ➤  
  • Publish Location: ➤  Cambridge, Mass - New York - Cambridge

“Mathematical logic” Subjects and Themes:

Edition Identifiers:

First Setence:

"MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, as to be generally and not unjustifiably regarded as a new science."

Access and General Info:

  • First Year Published: 1940
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Printdisabled

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 Mathematical logic at online marketplaces:


    10The theory of ultrafilters

    By

    Book's cover

    “The theory of ultrafilters” Metadata:

    • Title: The theory of ultrafilters
    • Authors:
    • Language: English
    • Number of Pages: Median: 484
    • Publisher: ➤  Springer-Verlag - Springer Berlin / Heidelberg - Springer London, Limited - Springer
    • Publish Date:
    • Publish Location: New York - Berlin

    “The theory of ultrafilters” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1974
    • 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 The theory of ultrafilters at online marketplaces:


      11Problems in the constructive trend in mathematics

      By

      “Problems in the constructive trend in mathematics” Metadata:

      • Title: ➤  Problems in the constructive trend in mathematics
      • Author:
      • Language: English
      • Number of Pages: Median: 272
      • Publisher: American Mathematical Society
      • Publish Date:
      • Publish Location: Providence, R.I

      “Problems in the constructive trend in mathematics” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

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

      Online Marketplaces

      Find Problems in the constructive trend in mathematics at online marketplaces:


      12Theorem proving in higher order logics

      By

      Book's cover

      “Theorem proving in higher order logics” Metadata:

      • Title: ➤  Theorem proving in higher order logics
      • Authors:
      • Language: English
      • Number of Pages: Median: 359
      • Publisher: ➤  Springer London, Limited - Springer
      • Publish Date:

      “Theorem proving in higher order logics” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1999
      • Is Full Text Available: Yes
      • Is The Book Public: No
      • Access Status: Printdisabled

      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 Theorem proving in higher order logics at online marketplaces:


        13Theory of Logical Types

        By

        “Theory of Logical Types” Metadata:

        • Title: Theory of Logical Types
        • Author:
        • Language: English
        • Number of Pages: Median: 149
        • Publisher: Taylor & Francis Group
        • Publish Date:

        “Theory of Logical Types” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

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

        Online Marketplaces

        Find Theory of Logical Types at online marketplaces:


        14Cambridge Summer School in Mathematical Logic

        By

        Book's cover

        “Cambridge Summer School in Mathematical Logic” Metadata:

        • Title: ➤  Cambridge Summer School in Mathematical Logic
        • Author: ➤  
        • Language: English
        • Number of Pages: Median: 660
        • Publisher: Springer-Verlag
        • Publish Date:
        • Publish Location: New York - Berlin

        “Cambridge Summer School in Mathematical Logic” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1973
        • 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 Cambridge Summer School in Mathematical Logic at online marketplaces:


          15The monadic second order theory of all countable ordinals

          By

          Book's cover

          “The monadic second order theory of all countable ordinals” Metadata:

          • Title: ➤  The monadic second order theory of all countable ordinals
          • Author:
          • Language: English
          • Number of Pages: Median: 217
          • Publisher: Springer-Verlag - Springer
          • Publish Date:
          • Publish Location: Berlin

          “The monadic second order theory of all countable ordinals” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1973
          • 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 The monadic second order theory of all countable ordinals at online marketplaces:


            16Logic Symposia, Hakone, 1979, 1980

            By

            Book's cover

            “Logic Symposia, Hakone, 1979, 1980” Metadata:

            • Title: ➤  Logic Symposia, Hakone, 1979, 1980
            • Author: ➤  
            • Language: English
            • Number of Pages: Median: 394
            • Publisher: Springer-Verlag
            • Publish Date:
            • Publish Location: Berlin - New York

            “Logic Symposia, Hakone, 1979, 1980” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1981
            • 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 Logic Symposia, Hakone, 1979, 1980 at online marketplaces:


              17New introduction to modal logic

              By

              Book's cover

              “New introduction to modal logic” Metadata:

              • Title: ➤  New introduction to modal logic
              • Author:
              • Language: English
              • Number of Pages: Median: 448
              • Publisher: Routledge
              • Publish Date:
              • Publish Location: London

              “New introduction to modal logic” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 1995
              • 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 New introduction to modal logic at online marketplaces:


                18Toward a logic of meanings

                By

                Book's cover

                “Toward a logic of meanings” Metadata:

                • Title: Toward a logic of meanings
                • Author:
                • Language: English
                • Number of Pages: Median: 178
                • Publisher: L. Erlbaum Associates
                • Publish Date:
                • Publish Location: Hillsdale, N.J

                “Toward a logic of meanings” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find Toward a logic of meanings at online marketplaces:


                19Algebraizable logics

                By

                Book's cover

                “Algebraizable logics” Metadata:

                • Title: Algebraizable logics
                • Author:
                • Language: English
                • Number of Pages: Median: 78
                • Publisher: American Mathematical Society
                • Publish Date:
                • Publish Location: Providence, R.I., USA

                “Algebraizable logics” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find Algebraizable logics at online marketplaces:


                20L'analisi matematica della logica

                By

                Book's cover

                “L'analisi matematica della logica” Metadata:

                • Title: ➤  L'analisi matematica della logica
                • Author:
                • Language: ita
                • Number of Pages: Median: 118
                • Publisher: Bollati Boringhieri
                • Publish Date:
                • Publish Location: Torino

                “L'analisi matematica della logica” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find L'analisi matematica della logica at online marketplaces:


                21Logica matematica per l'informatica

                By

                Book's cover

                “Logica matematica per l'informatica” Metadata:

                • Title: ➤  Logica matematica per l'informatica
                • Author:
                • Language: ita
                • Number of Pages: Median: 309
                • Publisher: ➤  Prentice hall international - UTET università
                • Publish Date:
                • Publish Location: [New York] - Torino

                “Logica matematica per l'informatica” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find Logica matematica per l'informatica at online marketplaces:


                22Proof and computation

                By

                Book's cover

                “Proof and computation” Metadata:

                • Title: Proof and computation
                • Author: ➤  
                • Language: English
                • Number of Pages: Median: 470
                • Publisher: Springer
                • Publish Date:
                • Publish Location: New York - Berlin

                “Proof and computation” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find Proof and computation at online marketplaces:


                23Représentations unipotentes génériques et blocs des groupes réductifs finis

                By

                “Représentations unipotentes génériques et blocs des groupes réductifs finis” Metadata:

                • Title: ➤  Représentations unipotentes génériques et blocs des groupes réductifs finis
                • Author:
                • Languages: ger - English
                • Number of Pages: Median: 203
                • Publisher: Société mathématique de France
                • Publish Date:
                • Publish Location: Montrouge

                “Représentations unipotentes génériques et blocs des groupes réductifs finis” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find Représentations unipotentes génériques et blocs des groupes réductifs finis at online marketplaces:


                24The Game of Logic

                By

                Book's cover

                “The Game of Logic” Metadata:

                • Title: The Game of Logic
                • Author:
                • Languages: English - jpn
                • Number of Pages: Median: 96
                • Publisher: ➤  Classic Books - Outlook Verlag - Lulu.com - Project Gutenberg - Independently Published - Macmillan and Co. - Forgotten Books - Hard Press - Wentworth Press - CreateSpace Independent Publishing Platform - Franklin Classics - Frommann Holzboog - Dover Publications - Creative Media Partners, LLC - [publisher not identified] - Astrolabio - Macmillan - Fūshinsha - Createspace Independent Publishing Platform - Lulu Press, Inc. - lulu.com
                • Publish Date: ➤  
                • Publish Location: ➤  London and New York - Tōkyō - London - Roma - New York

                “The Game of Logic” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1886
                • Is Full Text Available: Yes
                • Is The Book Public: Yes
                • Access Status: Public

                Online Access

                Online Borrowing:

                Online Marketplaces

                Find The Game of Logic at online marketplaces:


                Top of Page