Lectures on mathematical logic, volume ii
Auteur :
Felscher, Walter
Éditeur :
Taylor & Francis Ltd
ISBN :
9789056992675
Date de publication :
30 mai 2000
Dimensions :
22,9 x 15,2 cm
Poids :
780 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Starting from the observation that in everyday arguments statements are transformed linguistically, connecting them in formal ways irrespective of their contents, this text presents such arguments as deductive situations, or "sequents" in the technical terminology. It shows how the transformations between them can be expressed as logical rules.