Search Results :: Libraries | Museum of Fine Arts, Boston

Suggested Topics within your search. Suggested Topics within your search.

Logic, Symbolic and mathematical
Mathematics 32
Philosophy 22
Set theory 12
Computer science 7
Proof theory 7
History 5
Language and languages 5
Game theory 4
Model theory 4
Semantics (Philosophy) 4
Analysis (Philosophy) 3
Artificial intelligence 3
Foundations 3
Algebra, Boolean 2
Arithmetic 2
Axiomatic set theory 2
Computational complexity 2
Computer programming 2
Data processing 2
Influence 2
Language and logic 2
Logic design 2
Mathematical analysis 2
Mathematicians 2
Probabilities 2
Truth 2
computer programming 2
probability 2
truth 2

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel by Grattan-Guinness, I.

Wittgenstein's Tractatus : a dialectical interpretation by Ostrow, Matthew B., 1961-

Paradox and paraconsistency : conflict resolution in the abstract sciences by Woods, John (John Hayden)

Frege and other philosophers by Dummett, Michael, 1925-2011

Logically determined design : clockless system design with NULL convention logic by Fant, Karl M.

Proof and knowledge in mathematics

Mathematical logic in the 20th century

Propositions, functions, and analysis : selected essays on Russell's philosophy by Hylton, Peter

Mathematical logic by Chiswell, Ian, 1948-

The mathematics of logic : a guide to completeness theorems and their applications by Kaye, Richard (Richard W.)

Lectures in logic and set theory : mathematical logic. by Tourlakis, George J.

Constructibility and mathematical existence. by Chihara, Charles S., 1932-

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London

The determinacy of long games by Neeman, Itay, 1972-

Logic and automata : history and perspectives

Institution-independent model theory by Diaconescu, Răzvan

Discovering patterns in mathematics and poetry by Birken, Marcia

Foundations without foundationalism : a case for second-order logic by Shapiro, Stewart, 1951-

Frege's logic by Macbeth, Danielle

Search Results

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel by Grattan-Guinness, I.

Wittgenstein's Tractatus : a dialectical interpretation by Ostrow, Matthew B., 1961-

Paradox and paraconsistency : conflict resolution in the abstract sciences by Woods, John (John Hayden)

Frege and other philosophers by Dummett, Michael, 1925-2011

Logically determined design : clockless system design with NULL convention logic by Fant, Karl M.

Proof and knowledge in mathematics

Mathematical logic in the 20th century

Propositions, functions, and analysis : selected essays on Russell's philosophy by Hylton, Peter

Mathematical logic by Chiswell, Ian, 1948-

The mathematics of logic : a guide to completeness theorems and their applications by Kaye, Richard (Richard W.)

Lectures in logic and set theory : mathematical logic. by Tourlakis, George J.

Constructibility and mathematical existence. by Chihara, Charles S., 1932-

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London

The determinacy of long games by Neeman, Itay, 1972-

Logic and automata : history and perspectives

Institution-independent model theory by Diaconescu, Răzvan

Discovering patterns in mathematics and poetry by Birken, Marcia

Foundations without foundationalism : a case for second-order logic by Shapiro, Stewart, 1951-

Frege's logic by Macbeth, Danielle

Search Tools:

Refine Results

Shelving Location

Format

Call Number

Author

Language

Year of Publication