عنوان
پدید آورنده
موضوع
رده
QA9 .S48 1991eb
QA9
.
S48
1991eb
کتابخانه
محل استقرار
0198533918
9780198533917
0198250290
b785561
Foundations without foundationalism :
[Book]
a case for second-order logic /
Stewart Shapiro.
Oxford :
Clarendon Press,
©1991.
1 online resource (xx, 277 pages)
Oxford logic guides ;
Oxford science publications
17
Includes bibliographical references and index.
Terms and questions -- Foundationalism and foundations of mathematics -- Theory -- Metatheory -- Second-order logic and mathematics -- Advanced metatheory -- The historical "triumph" of first-order languages -- Second-order logic and rule-following -- The competition.
0
Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations.
Foundations without foundationalism.
9780198533917
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS-- Infinity.
MATHEMATICS-- Logic.
Wiskundige logica.
MAT-- 016000
MAT-- 018000
511
.
3
22
QA9
.
S48
1991eb
Shapiro, Stewart,1951-
20201206232704.0
pn
مطالعه متن کتاب [Book]
Y
