Journal of Symbolic Logic

Publisher: Association for Symbolic Logic

The Journal of Symbolic Logic aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.

Current Issue All Issues

The isomorphism problem for computable Abelian p-groups of bounded length

Wesley Calvert. (2005)

On spectra of sentences of monadic second order logic with counting

E. Fischer, et al. (2004)

Classification theory and 0#

Sy D. Friedman, et al. (2003)

Isolation and lattice embeddings

Guohua Wu. (2002)

An axiomatic presentation of the nonstandard methods in mathematics

Mauro Di Nasso. (2002)

Subscribe to Project Euclid

Receive Email Alerts

The isomorphism problem for computable Abelian p-groups of bounded length

On spectra of sentences of monadic second order logic with counting

Classification theory and 0#

Isolation and lattice embeddings

An axiomatic presentation of the nonstandard methods in mathematics

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS