منو
رکورد قبلیرکورد بعدی

" Foundations without foundationalism : "


Document Type : BL
Record Number : 1031191
Doc. No : b785561
Main Entry : Shapiro, Stewart,1951-
Title & Author : Foundations without foundationalism : : a case for second-order logic /\ Stewart Shapiro.
Publication Statement : Oxford :: Clarendon Press,, ©1991.
Series Statement : Oxford logic guides ;; 17
: Oxford science publications
Page. NO : 1 online resource (xx, 277 pages)
ISBN : 0198533918
: : 9780198533917
: 0198250290
Bibliographies/Indexes : Includes bibliographical references and index.
Contents : 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.
Abstract : 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.
Subject : Logic, Symbolic and mathematical.
Subject : Logic, Symbolic and mathematical.
Subject : Logique symbolique et mathématique.
Subject : MATHEMATICS-- Infinity.
Subject : MATHEMATICS-- Logic.
Subject : Wiskundige logica.
Dewey Classification : ‭511.3‬
LC Classification : ‭QA9‬‭.S48 1991eb‬
copyhttps://lib.clisel.com/site/catalogue/1031191
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟