Intensional mathematics /
Saved in:
Other Authors: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Amsterdam :
North-Holland ;Elsevier Science Pub. Co.,
1985.
|
Series: | Studies in logic and the foundations of mathematics ;
v. 113 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000nam a2200000u 4500 | ||
---|---|---|---|
001 | 00825689 | ||
003 | PWmBRO | ||
005 | 20240602101700.0 | ||
008 | 840810s1985 ne b 00000 eng | ||
010 | |a 55051423 | ||
020 | |a 0444876324 (U.S.) | ||
050 | 0 | |a QA9.46 |b .I57 1985 | |
082 | 0 | |a 511�19 | |
090 | 0 | |a 511/I61 | |
245 | 0 | 0 | |a Intensional mathematics / |c edited by Stewart Shapiro. |
260 | 0 | |a Amsterdam : |b North-Holland ;Elsevier Science Pub. Co., |c 1985. | |
300 | |a v, 230 p. | ||
440 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 113 | |
650 | 0 | |a Modality (Logic). | |
650 | 0 | |a Constructive mathematics. | |
650 | 0 | |a Intuitionistic mathematics. | |
700 | 1 | 0 | |a Shapiro, Stewart, |d 1951- |
942 | |2 ddc | ||
952 | |0 0 |1 0 |4 0 |6 511_000000000000000_I61 |7 0 |8 MN |9 63249 |a ML015 |b ML015 |c MN |d 2024-06-02 |l 0 |o 511 I61 |p 066317 |r 2018-03-24 00:00:00 |w 2018-03-24 |y BK | ||
994 | 0 | 1 | |a T1001 066 317 |
999 | |c 46460 |d 46460 |