Arama Sonuçları Logic. - Daraltılmış: Intuitionistic mathematics.
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogic.$0026qf$003dSUBJECT$002509Konu$002509Intuitionistic$002bmathematics.$002509Intuitionistic$002bmathematics.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-07-18T08:29:30Z
A short introduction to intuitionistic logic
ent://SD_ILS/0/SD_ILS:1062454
2026-07-18T08:29:30Z
2026-07-18T08:29:30Z
by Mint͡s, G. E.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3035676">Click to View</a><br/>Format: Elektronik Kaynak<br/>
Intentional mathematics
ent://SD_ILS/0/SD_ILS:1191573
2026-07-18T08:29:30Z
2026-07-18T08:29:30Z
by Shapiro, Stewart, 1951-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876324">http://www.sciencedirect.com/science/book/9780444876324</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=113">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=113</a><br/>Format: Elektronik Kaynak<br/>
Intuitionism : an introduction
ent://SD_ILS/0/SD_ILS:1192552
2026-07-18T08:29:30Z
2026-07-18T08:29:30Z
by Heyting, A. (Arend), 1898-1980.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533821">http://www.sciencedirect.com/science/book/9780444533821</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=17">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=17</a><br/>Format: Elektronik Kaynak<br/>
Intuitionism : an introduction
ent://SD_ILS/0/SD_ILS:1192560
2026-07-18T08:29:30Z
2026-07-18T08:29:30Z
by Heyting, A. (Arend), 1898-1980.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534064">http://www.sciencedirect.com/science/book/9780444534064</a><br/>Format: Elektronik Kaynak<br/>
The foundations of intuitionistic mathematics
ent://SD_ILS/0/SD_ILS:1192360
2026-07-18T08:29:30Z
2026-07-18T08:29:30Z
by Kleene, Stephen Cole, 1909-1994.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534040">http://www.sciencedirect.com/science/book/9780444534040</a><br/>Format: Elektronik Kaynak<br/>
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
ent://SD_ILS/0/SD_ILS:1191337
2026-07-18T08:29:30Z
2026-07-18T08:29:30Z
by L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864949">http://www.sciencedirect.com/science/book/9780444864949</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=110">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=110</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/110">http://www.sciencedirect.com/science/bookseries/0049237X/110</a><br/>Format: Elektronik Kaynak<br/>
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
ent://SD_ILS/0/SD_ILS:1191334
2026-07-18T08:29:30Z
2026-07-18T08:29:30Z
by Kleene Symposium (1978 : Madison, Wis.)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=101">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=101</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/101">http://www.sciencedirect.com/science/bookseries/0049237X/101</a><br/>Format: Elektronik Kaynak<br/>