Բեռնվում է…
Principles of intuitionism /
Պահպանված է:
Հիմնական հեղինակ: | Troelstra, Anne Sjerp |
---|---|
Ձևաչափ: | Գիրք |
Լեզու: | English |
Հրապարակվել է: |
Berlin ; Heidelberg ; New York :
Springer-Verlag,
1969.
|
Շարք: | Lecture notes in mathematics (Springer-Verlag) ;
95. |
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Extensional Gödel functional interpretation : A consistency proof of classical analysis /
: Luckhardt, Horst
Հրապարակվել է: (1973) -
Proof theory and intuitionistic systems /
: Scarpellini, Bruno
Հրապարակվել է: (1971) -
Uncertainty principles associated to non-degenetate quadratic forms /
: Demange, Bruno -
Principles of neurobiological signal analysis /
: Glaser, Edmund M.
Հրապարակվել է: (1976) -
On the Hasse principle for the Brauer group of a purely transcendental extension field in one variable over an arbitray field/ : A thesis presented by Makoto Sakagaito.
: Sakagaito, Makoto
Հրապարակվել է: (2012)