Studies in logic and the foundations of mathematics

Resource Information

The series Studies in logic and the foundations of mathematics represents a set of related resources, especially of a specified kind, found in Boston University Libraries.

Undecidable theories.
Studies in logic and the foundations of mathematics, v. 93
Studies in logic and the foundations of mathematics, v. 94
Studies in logic and the foundations of mathematics, v. 95
Studies in logic and the foundations of mathematics, v. 99
A deductive theory of space and time
A survey of mathematical logic
A transfinite type theory with type variables,
Abstract set theory
Abstract set theory
An essay in modal logic
Ancient formal logic
Apuleian logic; : the nature, sources, and influence of Apuleius's Peri Hermeneias
Aristotle's modal syllogisms
Aspects of inductive logic,
Axiomatic set theory.
Combinatory logic
Complete theories
Complete theories
Computer programming and formal systems.
Constructible sets with applications.
Constructive order types.
Constructivity in mathematics; : proceedings.
Dictionary of symbols of mathematical logic.
Elements of mathematical logic. : (Model theory)
Equivalents of the axiom of choice
Foundations of set theory
Hypothetical reasoning
Introduction to the theory of finite automata
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968.
Intuitionism; : an introduction
Intuitionism; : an introduction
Intuitionistic logic, model theory and forcing
Languages with expressions of infinite length
Logic Colloquium : proceedings of the Summer School and Colloquium in Mathematical Logic
Logic, methodology and philosophy of science III; : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967;
Logic, methodology and philosophy of science; : proceedings.
Many-valued logics
Mathematical interpretation of formal systems
Mathematical logic and foundations of set theory. : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Nomological statements and admissible operations
Non-standard analysis
Non-standard analysis
On the metamathematics of algebra
Ordinal algebras;
Problems in the philosophy of science.
Proceedings of the ... Logic Colloquium
Recursive analysis
Selected works.
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Set theory
Solvable cases of the decision problem
The axiomatic method with special reference to geometry and physics. : Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958.
The collected papers of Gerhard Gentzen.
The foundations of intuitionistic mathematics, : especially in relation to recursive functions
The logical systems of Lesniewski
The problem of inductive logic.
The propositional logic of Boethius
The theory of models; : proceedings.
Toward a systematic pragmatics
Truth and consequence in mediaeval logic
Undecidable theories,
Studies in logic and the foundations of mathematics, v. 100
Studies in logic and the foundations of mathematics, v. 101
Studies in logic and the foundations of mathematics, v. 103
Studies in logic and the foundations of mathematics, v. 104
Studies in logic and the foundations of mathematics, v. 105
Studies in logic and the foundations of mathematics, v. 106
Studies in logic and the foundations of mathematics, v. 109
Studies in logic and the foundations of mathematics, v. 110
Studies in logic and the foundations of mathematics, v. 111
Studies in logic and the foundations of mathematics, v. 113
Studies in logic and the foundations of mathematics, v. 114
Studies in logic and the foundations of mathematics, v. 116
Studies in logic and the foundations of mathematics, v. 117
Studies in logic and the foundations of mathematics, v. 118
Studies in logic and the foundations of mathematics, v. 119
Studies in logic and the foundations of mathematics, v. 121, etc
Studies in logic and the foundations of mathematics, v. 126
Studies in logic and the foundations of mathematics, v. 128
Studies in logic and the foundations of mathematics, v. 130
Studies in logic and the foundations of mathematics, v. 131
Studies in logic and the foundations of mathematics, v. 144
Studies in logic and the foundations of mathematics, v. 151
Studies in logic and the foundations of mathematics, v. 61
Studies in logic and the foundations of mathematics, v. 62
Studies in logic and the foundations of mathematics, v. 63
Studies in logic and the foundations of mathematics, v. 64
Studies in logic and the foundations of mathematics, v. 66
Studies in logic and the foundations of mathematics, v. 67
Studies in logic and the foundations of mathematics, v. 68
Studies in logic and the foundations of mathematics, v. 69
Studies in logic and the foundations of mathematics, v. 70
Studies in logic and the foundations of mathematics, v. 71
Studies in logic and the foundations of mathematics, v. 72
Studies in logic and the foundations of mathematics, v. 73
Studies in logic and the foundations of mathematics, v. 75
Studies in logic and the foundations of mathematics, v. 77
Studies in logic and the foundations of mathematics, v. 78
Studies in logic and the foundations of mathematics, v. 79
Studies in logic and the foundations of mathematics, v. 82
Studies in logic and the foundations of mathematics, v. 83
Studies in logic and the foundations of mathematics, v. 84
Studies in logic and the foundations of mathematics, v. 85
Studies in logic and the foundations of mathematics, v. 86
Studies in logic and the foundations of mathematics, v. 88
Studies in logic and the foundations of mathematics, v. 89
Studies in logic and the foundations of mathematics, v. 90
Studies in logic and the foundations of mathematics, v. 91
Studies in logic and the foundations of mathematics, v. 92

Embed

Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options: Carousel Grid List Card

Include data citation:

<div class="citation" vocab="http://schema.org/"> Data from <a href="http://link.bu.edu/resource/zYaJnD4KWAY/">Studies in logic and the foundations of mathematics</a> - <a property="url" href="http://link.bu.edu/">Boston University Libraries</a></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

Preview

Cite Data - Experimental

Data Citation of the Series Studies in logic and the foundations of mathematics

Copy and paste the following RDF/HTML data fragment to cite this resource

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/zYaJnD4KWAY/" typeof="Series http://bibfra.me/vocab/lite/Series"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/zYaJnD4KWAY/">Studies in logic and the foundations of mathematics</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Studies in logic and the foundations of mathematics Resource Information The series Studies in logic and the foundations of mathematics represents a set of related resources, especially of a specified kind, found in Boston University Libraries.

58 Items in the Series Studies in logic and the foundations of mathematics

Context

Members

Studies in logic and the foundations of mathematics

Resource Information

The series Studies in logic and the foundations of mathematics represents a set of related resources, especially of a specified kind, found in Boston University Libraries.