Philosophy Of Mathematics
Surveys historical and modern positions of mathematics. This book analyzes andevaluates traditional theories Platonism Aristotelianism and Kantianismand mode... »

Han Logic Comp Sci Vol 5 Hlcs C
This volume of the computer science series covers all major areas of application of logic to theoretical computer science. Topics include Martin-Loef's Type ... »

Philosophy of Anthropology and Sociology
A Volume in the Handbook of the Philosophy of Science Series »

Revision, Acceptability And Context
Theoretical and Algorithmic Aspects »

Dynamic Syntax
The Flow Of Language Understanding »

Sets And Extensions In The Twentieth Century
Sets and Extensions in the Twentieth Century »

Greek, Indian and Arabic Logic, Volume 1
 »

Labld Deductve Syst Olg 33 C
This work introduces a new unifying framework for logics which makes it »

Handbook of Philosophical Logic
v. 2 »

The International Directory Of Logicians
Who's Who in Logic »