Explore: Intuitionistic Mathematics
Discover books, insights, and more — all in one place.
Learn more about Intuitionistic Mathematics with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “intuitionistic-mathematics”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Elements of intuitionism
By Michael A. E. Dummett
“Elements of intuitionism” Metadata:
- Title: Elements of intuitionism
- Author: Michael A. E. Dummett
- Language: English
- Number of Pages: Median: 399
- Publisher: ➤ Clarendon Press - Oxford University Press
- Publish Date: 1977 - 2000
- Publish Location: Oxford - New York
“Elements of intuitionism” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Reasoning
Edition Identifiers:
- The Open Library ID: OL4608027M - OL6782957M
- Online Computer Library Center (OCLC) ID: 3267069
- Library of Congress Control Number (LCCN): 77371446 - 00032697
- All ISBNs: 0198505248 - 9780198505242 - 9780198531586 - 0198531583
Access and General Info:
- First Year Published: 1977
- 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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Elements of intuitionism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2The foundations of intuitionistic mathematics
By Stephen Cole Kleene
“The foundations of intuitionistic mathematics” Metadata:
- Title: ➤ The foundations of intuitionistic mathematics
- Author: Stephen Cole Kleene
- Language: English
- Number of Pages: Median: 206
- Publisher: ➤ North-Holland Pub. Co. - North-Holland
- Publish Date: 1965
- Publish Location: Amsterdam
“The foundations of intuitionistic mathematics” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Recursive functions
Edition Identifiers:
- The Open Library ID: OL5198252M - OL13793588M
- Online Computer Library Center (OCLC) ID: 213692
- Library of Congress Control Number (LCCN): 75020959
Access and General Info:
- First Year Published: 1965
- 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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The foundations of intuitionistic mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Intuitionism and proof theory
By Conference on Intuitionism and Proof Theory (1968 State University of New York at Buffalo)
“Intuitionism and proof theory” Metadata:
- Title: Intuitionism and proof theory
- Author: ➤ Conference on Intuitionism and Proof Theory (1968 State University of New York at Buffalo)
- Language: English
- Number of Pages: Median: 516
- Publisher: ➤ North-Holland Publishing Co - North-Holland Pub. Co.
- Publish Date: 1970
- Publish Location: Amsterdam
“Intuitionism and proof theory” Subjects and Themes:
- Subjects: ➤ Congresses - Intuitionistic mathematics - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL4573730M - OL21163419M
- Online Computer Library Center (OCLC) ID: 103466
- Library of Congress Control Number (LCCN): 77097196
- All ISBNs: 9780720422573 - 0720422574
Access and General Info:
- First Year Published: 1970
- 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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Intuitionism and proof theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Choice sequences
By A. S. Troelstra
“Choice sequences” Metadata:
- Title: Choice sequences
- Author: A. S. Troelstra
- Language: English
- Number of Pages: Median: 170
- Publisher: Clarendon Press
- Publish Date: 1977
- Publish Location: Oxford [Eng.]
“Choice sequences” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Sequences (Mathematics)
Edition Identifiers:
- The Open Library ID: OL4603070M
- Online Computer Library Center (OCLC) ID: 3085044
- Library of Congress Control Number (LCCN): 77366152
- All ISBNs: 9780198531630 - 019853163X
Access and General Info:
- First Year Published: 1977
- 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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Choice sequences at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Intuitionism
By A. Heyting
“Intuitionism” Metadata:
- Title: Intuitionism
- Author: A. Heyting
- Language: English
- Number of Pages: Median: 136
- Publisher: North-Holland Pub. Co.
- Publish Date: 1956 - 1966 - 1971
- Publish Location: Amsterdam - New York
“Intuitionism” Subjects and Themes:
- Subjects: ➤ Intuitionistic mathematics - Logic, Symbolic and mathematical - Mathematics - Philosophy - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL211197M - OL22101575M - OL5316559M - OL13538899M
- Online Computer Library Center (OCLC) ID: 3097797 - 1392224
- Library of Congress Control Number (LCCN): a56005741 - 72140491
- All ISBNs: 9780720422399 - 0720422396
Access and General Info:
- First Year Published: 1956
- 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 Intuitionism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Leo Esakia on Duality in Modal and Intuitionistic Logics
By Guram Bezhanishvili
“Leo Esakia on Duality in Modal and Intuitionistic Logics” Metadata:
- Title: ➤ Leo Esakia on Duality in Modal and Intuitionistic Logics
- Author: Guram Bezhanishvili
- Language: English
- Number of Pages: Median: 349
- Publisher: ➤ Springer London, Limited - Springer Netherlands - Springer
- Publish Date: 2014 - 2016
“Leo Esakia on Duality in Modal and Intuitionistic Logics” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL30516315M - OL37229294M - OL37174488M - OL28038593M
- All ISBNs: ➤ 9789401788618 - 9789401788595 - 9401788596 - 9789402403381 - 940178860X - 9789401788601 - 9401788618 - 9402403388
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Leo Esakia on Duality in Modal and Intuitionistic Logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Gnomes in the Fog
By Dennis E. Hesseling
“Gnomes in the Fog” Metadata:
- Title: Gnomes in the Fog
- Author: Dennis E. Hesseling
- Language: English
- Number of Pages: Median: 447
- Publisher: Birkhauser - Birkhäuser Basel
- Publish Date: 2004
“Gnomes in the Fog” Subjects and Themes:
- Subjects: ➤ Intuitionistic mathematics - Symbolic and mathematical Logic - Mathematics - History - Mathematics, history - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9090635M - OL9335224M
- Online Computer Library Center (OCLC) ID: 53006989
- Library of Congress Control Number (LCCN): 2003058359
- All ISBNs: 0817665366 - 9783764365363 - 3764365366 - 9780817665364
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Gnomes in the Fog at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Intuitionism
By Arend Heyting
“Intuitionism” Metadata:
- Title: Intuitionism
- Author: Arend Heyting
- Language: English
- Number of Pages: Median: 136
- Publisher: North-Holland Pub. Co.
- Publish Date: 1956 - 1966 - 1971
- Publish Location: Amsterdam
“Intuitionism” Subjects and Themes:
- Subjects: ➤ Arithmetic - Foundations - Intuitionistic mathematics - Logic, Symbolic and mathematical - Mathematics - Methodology - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL17844176M - OL14809434M - OL17488543M
Access and General Info:
- First Year Published: 1956
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Intuitionism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Mathematische Grundlagenforschung
By A. Heyting
“Mathematische Grundlagenforschung” Metadata:
- Title: ➤ Mathematische Grundlagenforschung
- Author: A. Heyting
- Language: ger
- Number of Pages: Median: 73
- Publisher: Springer - J. Springer
- Publish Date: 1934 - 1974
- Publish Location: New York - Berlin
“Mathematische Grundlagenforschung” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Philosophy - Proof theory - Mathematics
Edition Identifiers:
- The Open Library ID: OL6315785M - OL57342268M - OL14118966M
- Online Computer Library Center (OCLC) ID: 13467024 - 1304125
- Library of Congress Control Number (LCCN): 35000418
Access and General Info:
- First Year Published: 1934
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematische Grundlagenforschung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Proof theory and intuitionistic systems
By Bruno Scarpellini
“Proof theory and intuitionistic systems” Metadata:
- Title: ➤ Proof theory and intuitionistic systems
- Author: Bruno Scarpellini
- Language: English
- Number of Pages: Median: 290
- Publisher: ➤ Springer London, Limited - Springer-Verlag
- Publish Date: 1971 - 2006
- Publish Location: Berlin - New York
“Proof theory and intuitionistic systems” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Proof theory
Edition Identifiers:
- The Open Library ID: OL46002789M - OL23780294M - OL37148925M
- All ISBNs: 9780387055411 - 3540368752 - 9783540368755 - 038705541X
Access and General Info:
- First Year Published: 1971
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Proof theory and intuitionistic systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Intuition and the axiomatic method
By Renate Huber
“Intuition and the axiomatic method” Metadata:
- Title: ➤ Intuition and the axiomatic method
- Author: Renate Huber
- Language: English
- Number of Pages: Median: 324
- Publisher: Springer
- Publish Date: 2006
“Intuition and the axiomatic method” Subjects and Themes:
- Subjects: ➤ Mathematics - Philosophy - Axioms - Intuitionistic mathematics - Philosophy (General) - Science
Edition Identifiers:
- The Open Library ID: OL51019876M - OL8371709M
- Online Computer Library Center (OCLC) ID: 64739796
- Library of Congress Control Number (LCCN): 2007416641
- All ISBNs: 1402040393 - 9781402040405 - 1402040407 - 9781402040399
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Intuition and the axiomatic method at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Brouwer meets Husserl
By Mark van Atten
“Brouwer meets Husserl” Metadata:
- Title: Brouwer meets Husserl
- Author: Mark van Atten
- Language: English
- Number of Pages: Median: 213
- Publisher: Atten Mark Van - Springer
- Publish Date: 2006 - 2010
“Brouwer meets Husserl” Subjects and Themes:
- Subjects: Husserl, edmund, 1859-1938 - Phenomenology - Sequences (mathematics) - Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL27951907M - OL8372095M
- All ISBNs: 9048172810 - 9781402050862 - 9789048172818 - 1402050860
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Brouwer meets Husserl at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Novel Developments in Uncertainty Representation and Processing
By Krassimir T. Atanassov, Oscar Castillo, Janusz Kacprzyk, Maciej Krawczak and Patricia Melin
“Novel Developments in Uncertainty Representation and Processing” Metadata:
- Title: ➤ Novel Developments in Uncertainty Representation and Processing
- Authors: Krassimir T. AtanassovOscar CastilloJanusz KacprzykMaciej KrawczakPatricia Melin
- Language: English
- Number of Pages: Median: 410
- Publisher: ➤ Springer - Springer International Publishing AG
- Publish Date: 2015
“Novel Developments in Uncertainty Representation and Processing” Subjects and Themes:
- Subjects: Fuzzy sets - Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL37432683M - OL37246409M
- All ISBNs: 9783319262109 - 9783319262116 - 3319262114 - 3319262106
Author's Alternative Names:
"J. Kacprzyk"Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Novel Developments in Uncertainty Representation and Processing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14L' intuitionisme
By Jean Largeault
“L' intuitionisme” Metadata:
- Title: L' intuitionisme
- Author: Jean Largeault
- Language: fre
- Number of Pages: Median: 125
- Publisher: ➤ Presses universitaires de France
- Publish Date: 1992
- Publish Location: Paris
“L' intuitionisme” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL20142598M - OL20501566M
- All ISBNs: 2130448941 - 9782130448945
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 L' intuitionisme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Automated proof search in non-classicallogics
By Lincoln A. Wallen
“Automated proof search in non-classicallogics” Metadata:
- Title: ➤ Automated proof search in non-classicallogics
- Author: Lincoln A. Wallen
- Language: English
- Number of Pages: Median: 239
- Publisher: MIT Press
- Publish Date: 1990
- Publish Location: London - Cambridge, Mass
“Automated proof search in non-classicallogics” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Modality (Logic) - Proof theory
Edition Identifiers:
- The Open Library ID: OL22225727M - OL2195067M
- Library of Congress Control Number (LCCN): 89014539
- All ISBNs: 0262231441 - 9780262231442
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Automated proof search in non-classicallogics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Intuitionistic Proof Versus Classical Truth
By Enrico Martino
“Intuitionistic Proof Versus Classical Truth” Metadata:
- Title: ➤ Intuitionistic Proof Versus Classical Truth
- Author: Enrico Martino
- Number of Pages: Median: 183
- Publisher: Springer
- Publish Date: 2018
“Intuitionistic Proof Versus Classical Truth” Subjects and Themes:
- Subjects: ➤ Intuitionistic mathematics - Logic, symbolic and mathematical - Philosophy
Edition Identifiers:
- The Open Library ID: OL28250834M - OL30792882M
- All ISBNs: 9783030089719 - 3319743562 - 3030089711 - 9783319743561
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Intuitionistic Proof Versus Classical Truth at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Intuitionistic Fuzzy Calculus
By Qian Lei and Zeshui Xu
“Intuitionistic Fuzzy Calculus” Metadata:
- Title: Intuitionistic Fuzzy Calculus
- Authors: Qian LeiZeshui Xu
- Number of Pages: Median: 174
- Publisher: Springer
- Publish Date: 2017 - 2018
“Intuitionistic Fuzzy Calculus” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Fuzzy systems - Calculus
Edition Identifiers:
- The Open Library ID: OL28249364M - OL28119826M
- All ISBNs: 3319541471 - 3319853325 - 9783319853321 - 9783319541471
Access and General Info:
- First Year Published: 2017
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Intuitionistic Fuzzy Calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Elemente de logică intuiționistă
By Alexandru Surdu
“Elemente de logică intuiționistă” Metadata:
- Title: ➤ Elemente de logică intuiționistă
- Author: Alexandru Surdu
- Language: rum
- Number of Pages: Median: 174
- Publisher: ➤ Editura Academiei Republicii Socialiste România - Editura Academiei Republicii Socialiste România
- Publish Date: 1976
- Publish Location: București - București
“Elemente de logică intuiționistă” Subjects and Themes:
- Subjects: Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL4997844M - OL18168975M
- Online Computer Library Center (OCLC) ID: 2820150
- Library of Congress Control Number (LCCN): 76489659
Access and General Info:
- First Year Published: 1976
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Elemente de logică intuiționistă at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Intensional mathematics
By Stewart Shapiro
“Intensional mathematics” Metadata:
- Title: Intensional mathematics
- Author: Stewart Shapiro
- Language: English
- Number of Pages: Median: 230
- Publisher: ➤ Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. - North-Holland
- Publish Date: 1985
- Publish Location: ➤ New York - Amsterdam - New YorK, N.Y., U.S.A
“Intensional mathematics” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL2856317M - OL19827802M
- Online Computer Library Center (OCLC) ID: 11113852
- Library of Congress Control Number (LCCN): 84018856
- All ISBNs: 9780444876324 - 0444876324
Access and General Info:
- First Year Published: 1985
- 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 Intensional mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Logicism, intuitionism, and formalism
By Sten Lindström, Erik Palmgren, Krister Segerberg and Viggo Stoltenberg-Hansen
“Logicism, intuitionism, and formalism” Metadata:
- Title: ➤ Logicism, intuitionism, and formalism
- Authors: Sten LindströmErik PalmgrenKrister SegerbergViggo Stoltenberg-Hansen
- Language: English
- Number of Pages: Median: 512
- Publisher: ➤ Springer - Springer Netherlands
- Publish Date: 2009 - 2010
- Publish Location: London - Dordrecht
“Logicism, intuitionism, and formalism” Subjects and Themes:
- Subjects: ➤ Mathematics - Intuitionistic mathematics - Philosophy - History - Mathematics, philosophy - Symbolic and mathematical Logic - Genetic epistemology - Linguistics - Logic - Mathematics_$xHistory - Ontology
Edition Identifiers:
- The Open Library ID: OL37120937M - OL23186050M
- Online Computer Library Center (OCLC) ID: 263295778
- Library of Congress Control Number (LCCN): 2008935522
- All ISBNs: 9781402089251 - 9789048180295 - 1402089252 - 9048180295
Access and General Info:
- First Year Published: 2009
- 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 Logicism, intuitionism, and formalism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Proof Methods For Modal And Intuitionistic Logics
By Melvin Fitting
“Proof Methods For Modal And Intuitionistic Logics” Metadata:
- Title: ➤ Proof Methods For Modal And Intuitionistic Logics
- Author: Melvin Fitting
- Language: English
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2010 - 2013
“Proof Methods For Modal And Intuitionistic Logics” Subjects and Themes:
- Subjects: Proof theory - Modality (logic) - Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL37230310M - OL26004149M
- All ISBNs: 9401727945 - 9789048183814 - 9789401727945 - 9048183812
Author's Alternative Names:
"M. Fitting" and "M. C. Fitting"Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Proof Methods For Modal And Intuitionistic Logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Projections of Lawless Sequences
By G. F. van der Hoeven
“Projections of Lawless Sequences” Metadata:
- Title: ➤ Projections of Lawless Sequences
- Author: G. F. van der Hoeven
- Language: English
- Number of Pages: Median: 237
- Publisher: Mathematisch Centrum
- Publish Date: 1982
- Publish Location: Amsterdam
“Projections of Lawless Sequences” Subjects and Themes:
- Subjects: Sequences (Mathematics) - Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL16688207M - OL12847705M
- Online Computer Library Center (OCLC) ID: 9289116
- All ISBNs: 9061962447 - 9789061962441
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Projections of Lawless Sequences at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Where is the Gödel-point hiding
By Anna Horská
“Where is the Gödel-point hiding” Metadata:
- Title: ➤ Where is the Gödel-point hiding
- Author: Anna Horská
- Language: English
- Number of Pages: Median: 88
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2013
“Where is the Gödel-point hiding” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Proof theory
Edition Identifiers:
- The Open Library ID: OL37179626M - OL28000030M
- Library of Congress Control Number (LCCN): 2013948376
- All ISBNs: 3319021702 - 3319021710 - 9783319021713 - 9783319021706
Access and General Info:
- First Year Published: 2013
- 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 Where is the Gödel-point hiding at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Principles of Intuitionism
By Anne S. Troelstra
“Principles of Intuitionism” Metadata:
- Title: Principles of Intuitionism
- Author: Anne S. Troelstra
- Language: English
- Number of Pages: Median: 116
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 1969 - 2006
“Principles of Intuitionism” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Mathematics - Mathematics, general
Edition Identifiers:
- The Open Library ID: OL36199702M - OL28153914M
- All ISBNs: 3540361308 - 3540046143 - 9783540361305 - 9783540046141
Access and General Info:
- First Year Published: 1969
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Principles of Intuitionism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Absoluteness of intuitionistic logic
By Daniel Maurice Raphaël Leivant
“Absoluteness of intuitionistic logic” Metadata:
- Title: ➤ Absoluteness of intuitionistic logic
- Author: ➤ Daniel Maurice Raphaël Leivant
- Language: English
- Number of Pages: Median: 142
- Publisher: Mathematisch Centrum
- Publish Date: 1975 - 1979
- Publish Location: Amsterdam
“Absoluteness of intuitionistic logic” Subjects and Themes:
- Subjects: Intuition - Intuitionistic mathematics - Predicate (Logic) - Proof theory - Proposition (Logic)
Edition Identifiers:
- The Open Library ID: OL4624708M - OL4491740M
- Online Computer Library Center (OCLC) ID: 2929314
- Library of Congress Control Number (LCCN): 77455777 - 79321551
- All ISBNs: 906196122X - 9789061961222
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 Absoluteness of intuitionistic logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Constructive Mathematics
By F. Richman
“Constructive Mathematics” Metadata:
- Title: Constructive Mathematics
- Author: F. Richman
- Language: English
- Number of Pages: Median: 347
- Publisher: ➤ Springer London, Limited - Springer-Verlag
- Publish Date: 1981 - 2006
“Constructive Mathematics” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Congresses - Constructive mathematics
Edition Identifiers:
- The Open Library ID: OL7442955M - OL37149503M
- All ISBNs: 0387108505 - 3540387595 - 9780387108506 - 9783540387596
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Constructive Mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Extensional Gödel functional interpretation
By Horst Luckhardt
“Extensional Gödel functional interpretation” Metadata:
- Title: ➤ Extensional Gödel functional interpretation
- Author: Horst Luckhardt
- Language: English
- Number of Pages: Median: 161
- Publisher: ➤ Springer-Verlag - Springer London, Limited
- Publish Date: 1973 - 2006
- Publish Location: New York - Berlin
“Extensional Gödel functional interpretation” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Proof theory
Edition Identifiers:
- The Open Library ID: OL37149005M - OL5311644M
- Online Computer Library Center (OCLC) ID: 591034
- Library of Congress Control Number (LCCN): 72096046
- All ISBNs: 3540382836 - 9783540382836 - 9780387061191 - 0387061193
Access and General Info:
- First Year Published: 1973
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Extensional Gödel functional interpretation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Principles of intuitionism
By A. S. Troelstra
“Principles of intuitionism” Metadata:
- Title: Principles of intuitionism
- Author: A. S. Troelstra
- Language: English
- Number of Pages: Median: 111
- Publisher: Springer-Verlag - Springer
- Publish Date: 1969
- Publish Location: New York - Heidelberg - Berlin
“Principles of intuitionism” Subjects and Themes:
- Subjects: ➤ Intuitionistic mathematics - Intuition - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL5074487M - OL13793404M
- Library of Congress Control Number (LCCN): 74088182
Access and General Info:
- First Year Published: 1969
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Principles of intuitionism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Mathematical Intuitionism and Intersubjectivity
By Tomasz Placek
“Mathematical Intuitionism and Intersubjectivity” Metadata:
- Title: ➤ Mathematical Intuitionism and Intersubjectivity
- Author: Tomasz Placek
- Language: English
- Number of Pages: Median: 228
- Publisher: ➤ Springer - Springer Netherlands
- Publish Date: 1999 - 2012
- Publish Location: Dordrecht
“Mathematical Intuitionism and Intersubjectivity” Subjects and Themes:
- Subjects: ➤ Philosophy (General) - Symbolic and mathematical Logic - Logic - Science - Genetic epistemology - Philosophy - Mathematics, philosophy - Intuitionistic mathematics - Intersubjectivity
Edition Identifiers:
- The Open Library ID: OL30333352M - OL27073227M
- Online Computer Library Center (OCLC) ID: 851371879
- All ISBNs: ➤ 9789401593168 - 9401593167 - 9789401593151 - 9048151872 - 9401593159 - 9789048151875
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Intuitionism and Intersubjectivity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Intuitionistic type theory
By Per Martin-Löf
“Intuitionistic type theory” Metadata:
- Title: Intuitionistic type theory
- Author: Per Martin-Löf
- Language: English
- Number of Pages: Median: 91
- Publisher: Bibliopolis
- Publish Date: 1984
- Publish Location: Napoli
“Intuitionistic type theory” Subjects and Themes:
- Subjects: ➤ Intuitionistic mathematics - Proof theory - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL17913198M
- All ISBNs: 9788870881059 - 8870881059
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Intuitionistic type theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Treatise on intuitionistic type theory
By Johan Georg Granström
“Treatise on intuitionistic type theory” Metadata:
- Title: ➤ Treatise on intuitionistic type theory
- Author: Johan Georg Granström
- Language: English
- Number of Pages: Median: 204
- Publisher: Springer
- Publish Date: 2011
- Publish Location: New York
“Treatise on intuitionistic type theory” Subjects and Themes:
- Subjects: ➤ Type theory - Programming languages (electronic computers) - Intuitionistic mathematics - Intuition
Edition Identifiers:
- The Open Library ID: OL27963319M - OL25155289M
- Online Computer Library Center (OCLC) ID: 741540934
- Library of Congress Control Number (LCCN): 2011929986
- All ISBNs: ➤ 9400717369 - 9400717350 - 9789400717350 - 9789400717367 - 9789400717374 - 9400717377
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Treatise on intuitionistic type theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Valido e provabile
By Pierdaniele Giaretta
“Valido e provabile” Metadata:
- Title: Valido e provabile
- Author: Pierdaniele Giaretta
- Language: ita
- Number of Pages: Median: 234
- Publisher: Cleup
- Publish Date: 1978
- Publish Location: Padova
“Valido e provabile” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL4215605M
- Online Computer Library Center (OCLC) ID: 6864376
- Library of Congress Control Number (LCCN): 80495231
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Valido e provabile at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Investigations into the equivalence connective
By Jacek K. Kabziński
“Investigations into the equivalence connective” Metadata:
- Title: ➤ Investigations into the equivalence connective
- Author: Jacek K. Kabziński
- Language: English
- Number of Pages: Median: 113
- Publisher: ➤ Nakł. Uniwersytetu Jagiellońskiego
- Publish Date: 1980
- Publish Location: Kraków
“Investigations into the equivalence connective” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Propositional calculus
Edition Identifiers:
- The Open Library ID: OL3856893M
- Library of Congress Control Number (LCCN): 81176511
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Investigations into the equivalence connective at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Intuitionistic Type Theory
By Per Martin-Lof
“Intuitionistic Type Theory” Metadata:
- Title: Intuitionistic Type Theory
- Author: Per Martin-Lof
- Number of Pages: Median: 91
- Publisher: Prometheus Books
- Publish Date: 1985
“Intuitionistic Type Theory” Subjects and Themes:
- Subjects: Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL13431545M
- Online Computer Library Center (OCLC) ID: 12731401
- All ISBNs: 8870881059 - 9788870881059
Access and General Info:
- First Year Published: 1985
- 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 Intuitionistic Type Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Intuitionism, an Introduction
By Arend Heyting
“Intuitionism, an Introduction” Metadata:
- Title: Intuitionism, an Introduction
- Author: Arend Heyting
- Language: English
- Publisher: ➤ Dover Publications, Incorporated
- Publish Date: 2011
“Intuitionism, an Introduction” Subjects and Themes:
- Subjects: Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL38346809M
- All ISBNs: 9780486470252 - 0486470253
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 Intuitionism, an Introduction at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Logicism, Intuitionism, and Formalism
By Sten Lindström, Erik Palmgren, Krister Segerberg and Viggo Stoltenberg-Hansen
“Logicism, Intuitionism, and Formalism” Metadata:
- Title: ➤ Logicism, Intuitionism, and Formalism
- Authors: Sten LindströmErik PalmgrenKrister SegerbergViggo Stoltenberg-Hansen
- Language: English
- Publisher: Springer
- Publish Date: 2009
“Logicism, Intuitionism, and Formalism” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL37103354M
- All ISBNs: 9781402089268 - 1402089260
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logicism, Intuitionism, and Formalism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Intuitionistische axiomatiek der projectieve meetkunde
By A. Heyting
“Intuitionistische axiomatiek der projectieve meetkunde” Metadata:
- Title: ➤ Intuitionistische axiomatiek der projectieve meetkunde
- Author: A. Heyting
- Language: dut
- Number of Pages: Median: 94
- Publish Date: 1925
- Publish Location: Groningen
“Intuitionistische axiomatiek der projectieve meetkunde” Subjects and Themes:
- Subjects: Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL52445523M
- Online Computer Library Center (OCLC) ID: 9462841
Access and General Info:
- First Year Published: 1925
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Intuitionistische axiomatiek der projectieve meetkunde at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Vyrazimostʹ v ischislenii͡akh vyskazyvaniĭ
By M. F. Rat͡sa
“Vyrazimostʹ v ischislenii͡akh vyskazyvaniĭ” Metadata:
- Title: ➤ Vyrazimostʹ v ischislenii͡akh vyskazyvaniĭ
- Author: M. F. Rat͡sa
- Language: rus
- Number of Pages: Median: 202
- Publisher: Shtiint͡sa
- Publish Date: 1991
- Publish Location: Kishinev
“Vyrazimostʹ v ischislenii͡akh vyskazyvaniĭ” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Modality (Logic)
Edition Identifiers:
- The Open Library ID: OL1295403M
- Online Computer Library Center (OCLC) ID: 35718173
- Library of Congress Control Number (LCCN): 92158418
- All ISBNs: 5376009610 - 9785376009611
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 Vyrazimostʹ v ischislenii͡akh vyskazyvaniĭ at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki
By N. M. Nagornyĭ
“K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki” Metadata:
- Title: ➤ K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki
- Author: N. M. Nagornyĭ
- Language: rus
- Number of Pages: Median: 25
- Publisher: Vychislitelʹnyĭ ͡tsentr RAN
- Publish Date: 1995
- Publish Location: Moskva
“K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL47973814M
- Online Computer Library Center (OCLC) ID: 40748139
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 K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Intuitionistic mathematics and logic
By Michael A. E. Dummett
“Intuitionistic mathematics and logic” Metadata:
- Title: ➤ Intuitionistic mathematics and logic
- Author: Michael A. E. Dummett
- Language: English
- Publisher: Mathematical Institute
- Publish Date: 1974
- Publish Location: Oxford
“Intuitionistic mathematics and logic” Subjects and Themes:
- Subjects: Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL4942996M
- Online Computer Library Center (OCLC) ID: 2439875
- Library of Congress Control Number (LCCN): 76370516
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Intuitionistic mathematics and logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Proof theory and intuitionistic systems
By Bruno Scarpellini
“Proof theory and intuitionistic systems” Metadata:
- Title: ➤ Proof theory and intuitionistic systems
- Author: Bruno Scarpellini
- Language: English
- Number of Pages: Median: 290
- Publisher: Springer-Verlag
- Publish Date: 1971
- Publish Location: Berlin - New York
“Proof theory and intuitionistic systems” Subjects and Themes:
- Subjects: ➤ Intuitionistic mathematics - Proof theory - Intuitionistische Logik - Nombres, Théorie des - Intuitionnisme (Mathématiques) - Beweistheorie - Zahlentheorie - Mathematics, methodology - Mathematics
Edition Identifiers:
- The Open Library ID: OL4770575M
- Online Computer Library Center (OCLC) ID: 163941
- Library of Congress Control Number (LCCN): 78169705
- All ISBNs: 9783540055419 - 354005541X
Access and General Info:
- First Year Published: 1971
- 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 Proof theory and intuitionistic systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Axioms for intuitionistic mathematics incompatible with classical logic
By A. S. Troelstra
“Axioms for intuitionistic mathematics incompatible with classical logic” Metadata:
- Title: ➤ Axioms for intuitionistic mathematics incompatible with classical logic
- Author: A. S. Troelstra
- Language: English
- Number of Pages: Median: 28
- Publisher: Mathematisch Instituut
- Publish Date: 1975
- Publish Location: Amsterdam
“Axioms for intuitionistic mathematics incompatible with classical logic” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Axioms
Edition Identifiers:
- The Open Library ID: OL4602124M
- Library of Congress Control Number (LCCN): 77365145
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 Axioms for intuitionistic mathematics incompatible with classical logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Computability of terms and notions of realizability for intuitionistic analysis
By A. S. Troelstra
“Computability of terms and notions of realizability for intuitionistic analysis” Metadata:
- Title: ➤ Computability of terms and notions of realizability for intuitionistic analysis
- Author: A. S. Troelstra
- Language: English
- Number of Pages: Median: 60
- Publisher: Mathematisch Instituut
- Publish Date: 1971
- Publish Location: Amsterdam
“Computability of terms and notions of realizability for intuitionistic analysis” Subjects and Themes:
- Subjects: Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL14806386M
Access and General Info:
- First Year Published: 1971
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computability of terms and notions of realizability for intuitionistic analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Metamathematical investigation of intuitionistic arithmetic and analysis
By A. S. Troelstra
“Metamathematical investigation of intuitionistic arithmetic and analysis” Metadata:
- Title: ➤ Metamathematical investigation of intuitionistic arithmetic and analysis
- Author: A. S. Troelstra
- Language: English
- Number of Pages: Median: 486
- Publisher: Springer
- Publish Date: 1973
- Publish Location: Berlin - New York - Heidelberg
“Metamathematical investigation of intuitionistic arithmetic and analysis” Subjects and Themes:
- Subjects: Intuitionistic mathematics - Model theory - Proof theory
Edition Identifiers:
- The Open Library ID: OL5420894M
- Online Computer Library Center (OCLC) ID: 858277
- Library of Congress Control Number (LCCN): 73014239
- All ISBNs: 0387064915 - 9780387064918
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 Metamathematical investigation of intuitionistic arithmetic and analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Notes on intuitionistic second order arithmetic
By A. S. Troelstra
“Notes on intuitionistic second order arithmetic” Metadata:
- Title: ➤ Notes on intuitionistic second order arithmetic
- Author: A. S. Troelstra
- Language: English
- Number of Pages: Median: 40
- Publisher: ➤ Mathematisch Instituut, Universiteit van Amsterdam
- Publish Date: 1971
- Publish Location: Amsterdam
“Notes on intuitionistic second order arithmetic” Subjects and Themes:
- Subjects: Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL14806378M
Access and General Info:
- First Year Published: 1971
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Notes on intuitionistic second order arithmetic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Intuitionistic fuzzy measures
By Adrian I. Ban
“Intuitionistic fuzzy measures” Metadata:
- Title: Intuitionistic fuzzy measures
- Author: Adrian I. Ban
- Language: English
- Publisher: Nova Science Publishers
- Publish Date: 2006
- Publish Location: New York
“Intuitionistic fuzzy measures” Subjects and Themes:
- Subjects: Fuzzy measure theory - Fuzzy sets - Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL3418390M
- Library of Congress Control Number (LCCN): 2005034745
- All ISBNs: 1594549117 - 9781594549113
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Intuitionistic fuzzy measures at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Panoramica sulle logiche intuizionistiche modali
By Gisèle Fischer Servi
“Panoramica sulle logiche intuizionistiche modali” Metadata:
- Title: ➤ Panoramica sulle logiche intuizionistiche modali
- Author: Gisèle Fischer Servi
- Language: ita
- Number of Pages: Median: 26
- Publisher: Zara
- Publish Date: 1987
- Publish Location: Parma
“Panoramica sulle logiche intuizionistiche modali” Subjects and Themes:
- Subjects: Modality (Logic) - Intuitionistic mathematics - Logic
Edition Identifiers:
- The Open Library ID: OL57666907M
- Online Computer Library Center (OCLC) ID: 35644007
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 Panoramica sulle logiche intuizionistiche modali at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Intuition et intuitionisme
By Jean Largeault
“Intuition et intuitionisme” Metadata:
- Title: Intuition et intuitionisme
- Author: Jean Largeault
- Language: fre
- Number of Pages: Median: 238
- Publisher: J. Vrin
- Publish Date: 1993
- Publish Location: Paris
“Intuition et intuitionisme” Subjects and Themes:
- Subjects: Intuition - Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL16384140M
- All ISBNs: 2711611558 - 9782711611553
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 Intuition et intuitionisme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Metodologicheskie problemy intuit͡s︡ionistskoĭ matematiki
By M. I. Panov
“Metodologicheskie problemy intuit͡s︡ionistskoĭ matematiki” Metadata:
- Title: ➤ Metodologicheskie problemy intuit͡s︡ionistskoĭ matematiki
- Author: M. I. Panov
- Language: rus
- Number of Pages: Median: 222
- Publisher: Izd-vo "Nauka"
- Publish Date: 1984
- Publish Location: Moskva
“Metodologicheskie problemy intuit͡s︡ionistskoĭ matematiki” Subjects and Themes:
- Subjects: Intuitionistic mathematics
Edition Identifiers:
- The Open Library ID: OL2585013M
- Online Computer Library Center (OCLC) ID: 14212185
- Library of Congress Control Number (LCCN): 85134335
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Metodologicheskie problemy intuit͡s︡ionistskoĭ matematiki at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Jing dian luo ji yu zhi jue zhu yi luo ji
By Feng, Mian.
“Jing dian luo ji yu zhi jue zhu yi luo ji” Metadata:
- Title: ➤ Jing dian luo ji yu zhi jue zhu yi luo ji
- Author: Feng, Mian.
- Language: chi
- Number of Pages: Median: 218
- Publisher: ➤ Shanghai ren min chu ban she - Xin hua shu dian Shanghai fa xing suo jing xiao
- Publish Date: 1989
- Publish Location: Shanghai
“Jing dian luo ji yu zhi jue zhu yi luo ji” Subjects and Themes:
- Subjects: ➤ Intuitionistic mathematics - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL19962048M
- All ISBNs: 7208006253 - 9787208006256
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 Jing dian luo ji yu zhi jue zhu yi luo ji at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.