13629 results in The Journal of Symbolic Logic
A construction of non-well-founded sets within Martin-Löf's type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-64
- Print publication:
- March 1989
-
- Article
- Export citation
Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-263
- Print publication:
- March 1989
-
- Article
- Export citation
Models with second order properties in successors of singulars
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-137
- Print publication:
- March 1989
-
- Article
- Export citation
Logic, semantics, metamathematics, Papers from 1923 to 1938, by Alfred Tarski, translated by J. H. Woodger, second edition edited and introduced by John Corcoran, Hackett Publishing Company, Indianapolis 1983, xxx + 506 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
- Print publication:
- March 1989
-
- Article
- Export citation
Models with the ω-property
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-189
- Print publication:
- March 1989
-
- Article
- Export citation
John R. Searle and Daniel Vanderveken. Foundations of illocutionary logic. Cambridge University Press, Cambridge etc. 1985, xi + 227 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-302
- Print publication:
- March 1989
-
- Article
- Export citation
P. T. Johnstone. Notes on logic and set theory. Cambridge University Press, Cambridge etc. 1987, x + 111 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
- Print publication:
- March 1989
-
- Article
- Export citation
JSL volume 54 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1989
-
- Article
-
- You have access
- Export citation
Generalizations of the one-dimensional version of the Kruskal-Friedman theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-121
- Print publication:
- March 1989
-
- Article
- Export citation
Martin's axioms, measurability and equiconsistency results
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-94
- Print publication:
- March 1989
-
- Article
- Export citation
JSL volume 54 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1989
-
- Article
-
- You have access
- Export citation
Abstract hierarchies and degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 16-25
- Print publication:
- March 1989
-
- Article
- Export citation
Intensional logic and two-sorted type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-77
- Print publication:
- March 1989
-
- Article
- Export citation
On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1177-1187
- Print publication:
- December 1988
-
- Article
- Export citation
George J. Tourlakis. Computabitity. Reston Publishing Company, Reston, Va., 1984, x + 566 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1255-1257
- Print publication:
- December 1988
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1300-1302
- Print publication:
- December 1988
-
- Article
- Export citation
Theodore Hailperin. Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Second revised and enlarged edition of L 851. Studies in logic and the foundations of mathematics, vol. 85. North-Holland, Amsterdam, New York, etc., 1986, xii + 428 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1253-1254
- Print publication:
- December 1988
-
- Article
- Export citation
On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1098-1109
- Print publication:
- December 1988
-
- Article
- Export citation
S. Yu. Maslov. Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá . Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1260-1261
- Print publication:
- December 1988
-
- Article
- Export citation
Logic and linguistics meeting, Stanford, 1987
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1275-1282
- Print publication:
- December 1988
-
- Article
- Export citation