Search Results for Logic.

7 sonuç bulundu

0000000DEFAULTTR

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

A short introduction to intuitionistic logic

Mint͡s, G. E.

Click to View

Format:

Alıntı:

A short introduction to intuitionistic logic Mint͡s, G. E.

Intentional mathematics

Shapiro, Stewart, 1951-

ScienceDirect http://www.sciencedirect.com/science/book/9780444876324
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=113

Format:

Alıntı:

Studies in logic and the foundations of mathematics ;

Intuitionism : an introduction

Heyting, A. (Arend), 1898-1980.

ScienceDirect http://www.sciencedirect.com/science/book/9780444533821
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=17

Format:

Alıntı:

Studies in Logic and the Foundations of Mathematics ;

Intuitionism : an introduction

Heyting, A. (Arend), 1898-1980.

ScienceDirect http://www.sciencedirect.com/science/book/9780444534064

Format:

Alıntı:

Studies in Logic and the Foundations of Mathematics ;

The foundations of intuitionistic mathematics

Kleene, Stephen Cole, 1909-1994.

ScienceDirect http://www.sciencedirect.com/science/book/9780444534040

Format:

Alıntı:

Studies in Logic and the Foundations of Mathematics ;

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands)

ScienceDirect http://www.sciencedirect.com/science/book/9780444864949
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=110
ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/110

Format:

Alıntı:

Studies in logic and the foundations of mathematics ;

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

Kleene Symposium (1978 : Madison, Wis.)

ScienceDirect http://www.sciencedirect.com/science/book/9780444853455
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=101
ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/101

Format:

Alıntı:

Studies in logic and the foundations of mathematics ;

	{displayName}	{count}
{error}