Perspectives in Mathematical Logic

Metamathematics of First-Order Arithmetic

Recursively Enumerable Sets and Degrees

A Study of Computable Functions and Computably Generated Sets

Ω-Bibliography of Mathematical Logic

Non-Classical Logics

Ω-Bibliography of Mathematical Logic

Model Theory

Ω-Bibliography of Mathematical Logic

Recursion Theory

Ω-Bibliography of Mathematical Logic

Classical Logic

Metametaphysics and the Sciences

Historical and Philosophical Perspectives

Metametaphysics and the Sciences

Historical and Philosophical Perspectives

Neural Nets WIRN Vietri-01

Proceedings of the 12th Italian Workshop on Neural Nets, Vietri sul Mare, Salerno, Italy, 17–19 May 2001

Logic, Everyday Discourse, and Metaphysics