by
Shapiro, Stewart.
Format:
Electronic Resources
Excerpt:
Variations and metaphors -- 2.2 Foundations and psychologism -- 2.3 Two conceptions of logic -- 2.4 Marriage
by
Feferman, Solomon.
Format:
Electronic Resources
Excerpt:
foundations -- III: GÖDEL -- 6 Gödel's life and work -- 7 Kurt Gödel: Conviction and caution -- 8 Introductory
View Other Search Results
by
Aspray, William.
Format:
Electronic Resources
Excerpt:
Analysis: History, Philosophy, and Foundations of Mathematics -- How Can Mathematicians and Mathematical
by
Panangaden, Prakash.
Format:
Electronic Resources
Excerpt:
in a CTMP -- 12.3 The Logic CSL -- 12.4 A General Technique for Relating Bisimulation and Logic -- 12
by
Ehrenfeucht, A.
Format:
Electronic Resources
Excerpt:
-- Mostowski and Czech-Polish Cooperation in Mathematical Logic -- Reminiscences of Warsaw and Logic, 1964
by
Ewald, William Bragg.
Format:
Electronic Resources
Excerpt:
the nature of mathematical reasoning -- B. On the foundations of geometry -- C. Intuition and logic in
by
Das, Subrata.
Format:
Electronic Resources
Excerpt:
decision making developed in this book, combining logic and probability, offers several advantages over the
by
Weinhold, Frank.
Format:
Electronic Resources
Excerpt:
and Differentials -- 1.1 Physical Conception of Mathematical Functions and Differentials -- 1.2 Four
by
Wile, Bruce.
Format:
Electronic Resources
Excerpt:
FOUNDATIONS -- 11.1.1 Design Correctness and Specifications -- 11.1.2 Computational Complexity -- 11.1.3 The
Limit Search Results
Narrowed by: