Sommaire

Notices, Bull. Symbolic Logic 14, iss. 02 (2008)

Text on Project Euclid
PDF
Alt PDF
p. 274-279

Project Euclid
Reviews, Bull. Symbolic Logic 14, iss. 02 (2008)

Text on Project Euclid
PDF
Alt PDF
p. 258-273

Project Euclid
Gentzen’s proof of normalization for natural deduction

Plato, Jan von

Text on Project Euclid
PDF
Alt PDF
p. 240-257

Project Euclid
Mathematical fuzzy logics

Gottwald, Siegfried

Text on Project Euclid
PDF
Alt PDF
p. 210-239

Project Euclid
Automata presenting structures: A survey of the finite string case

Rubin, Sasha

Text on Project Euclid
PDF
Alt PDF
p. 169-209

Project Euclid