國立高雄大學圖資館 |

Refine search

Associated Subjects

Search result for [ subject:"Intuitionistic mathematics."]

8 records (0.029s)· Page 1 of 1 • 1

1.

A short introduction to intuitionist...

~
Mints, Grigori.
- A short introduction to intuitionistic logic
- by: Mints, Grigori.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Kluwer Academic / Plenum Publishers,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9780306463945; 9780306469756
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

One hundred years of intuitionism (1...

~
Atten, Mark van.
- One hundred years of intuitionism (1907-2007)the cerisy conference /
- by: Atten, Mark van.; SpringerLink (Online service)
- Language materials, printed : Monograph/item
- Publisher: Birkhauser Basel,
- Place of Publication: Basel :
- Year of Publication: 2008
- ISBN: 9783764386528; 9783764386535
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Phenomenology, logic, and the philos...

~
Tieszen, Richard.
- Phenomenology, logic, and the philosophy of mathematics
- by: Tieszen, Richard.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Cambridge University Press,
- Place of Publication: Cambridge :
- Year of Publication: 2005
- ISBN: 9780511498589; 9780521837828
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Leo Esakia on duality in modal and i...

~
Bezhanishvili, Guram.
- Leo Esakia on duality in modal and intuitionistic logics
- by: Bezhanishvili, Guram.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Netherlands :
- Place of Publication: Dordrecht :
- Year of Publication: 2014
- ISBN: 9789401788595; 9789401788601
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.

Intuitionistic fuzzy preference mode...

~
SpringerLink (Online service)
- Intuitionistic fuzzy preference modeling and interactive decision making
- by: SpringerLink (Online service); Xu, Zeshui.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Berlin Heidelberg :
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2014
- ISBN: 9783642284021; 9783642284038
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Intuitionistic proof versus classica...

~
Martino, Enrico.
- Intuitionistic proof versus classical truththe role of Brouwer's creative subject in intuitionistic mathematics /
- by: Martino, Enrico.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319743561; 9783319743578
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

The selected correspondence of L.E.J...

~
Brouwer, L. E. J. (1881-1966)
- The selected correspondence of L.E.J. Brouwer
- by: Brouwer, L. E. J. (1881-1966); Brouwer, L.E.J.; Dalen, Dirk van.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Springer-Verlag London Limited,
- Place of Publication: London :
- Year of Publication: 2011
- ISBN: 9780857295279; 9780857295378
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Logicism, intuitionism, and formalis...

~
Lindstrom, Sten.
- Logicism, intuitionism, and formalismwhat has become of them? /
- by: Lindstrom, Sten.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer Netherlands,
- Place of Publication: Dordrecht :
- Year of Publication: 2009
- ISBN: 9781402089251; 9781402089268
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items