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

Smooth classes without AC and Robinson theories

Massoud Pourmahdian. (2002)

Sequences of $n$-diagrams

Valentina S. Harizanov, et al. (2002)

SN and {CR} for free-style {${\bf LK}\sp {tq}$}: linear decorations and simulation of normalization

Jean-Baptiste Joinet, et al. (2002)

Randomness and halting probabilities

Verónica Becher, et al. (2006)

ω-powers and descriptive set theory

Dominique Lecomte. (2005)

Subscribe to Project Euclid

Receive Email Alerts

Smooth classes without AC and Robinson theories

Sequences of $n$-diagrams

SN and {CR} for free-style {${\bf LK}\sp {tq}$}: linear decorations and simulation of normalization

Randomness and halting probabilities

ω-powers and descriptive set theory

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS