Information

Dear user, the application need JavaScript support. Please enable JavaScript in your browser.

You search for a phrase "Logika intuicjonistyczna." according to the criterion: Subject


Showing 1-14 from 14 results
library suggestion
Full title:
Intuitionismus / von Luitzen Egbertus Jan Brouwer ; hrsg., eingeleitet und kommentiert von Dirk van Dalen
Publisher:
Mannheim [etc.] : BI Wissenschaftsverlag
Publication Year:
cop. 1992
Subject:
Intuicjonizm matematyczny.
Book
library suggestion
Full title:
Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y. / A. S. Troelstra
Publisher:
Berlin [etc.] : Springer-Verlag
Publication Year:
1969
Publication series:
Lecture Notes in Mathematics : a collection of informal reports and seminars ; 95
Subject:
Intuicjonizm matematyczny.
Book
library suggestion
Full title:
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer ; Polska Akademia Nauk. Instytut Matematyczny
Publisher:
Warszawa : Państwowe Wydawnictwo Naukowe
Publication Year:
1980
Publication series:
Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 167
Subject:
Intuicjonizm matematyczny.
Book
library suggestion
Full title:
Metodologičeskie problemy intuicionistskoj matematiki / M. I. Panov ; otv. red. E. F. Solopov ; Akademiâ Nauk SSSR. Central'nyj Sovet Filosofskih (Metodologičeskih) Seminarov pri Prezidiume AN SSSR
Publisher:
Moskva : "Nauka"
Publication Year:
1984
Subject:
Intuicjonizm matematyczny.
Metodologia.
Book
library suggestion
Full title:
The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley
Publisher:
Amsterdam : North-Holland Pub. Co
Publication Year:
1965
Publication series:
Studies in Logic and the Foundations of Mathematics
Subject:
Funkcje rekursywne.
Intuicjonizm matematyczny.
Logika symboliczna i matematyczna.
Book
library suggestion
Full title:
Proof theory and intuitionistic systems / Bruno Scarpellini
Publisher:
Berlin [etc.] : Springer-Verlag
Publication Year:
1971
Publication series:
Lecture Notes in Mathematics : a collection of informal reports and seminars ; 212
Subject:
Teoria dowodu.
Intuicjonizm matematyczny.
Book
    Showing 1-14 from 14 results

    We use cookies to help identify your computer so we can tailor your user experience, track shopping basket contents and remember where you are in the order process

    Feedback

    Your views are very important to us and can be enormously helpful in showing us where we can make improvements. We'd be very grateful if you would spend a few minutes completing the short form.

    Feedback form