Lectures on Mathematical Logic, Volume II e-bog
546,47 DKK
(inkl. moms 683,09 DKK)
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "e;sequents"e; in the technical terminology, the transformations between them
E-bog
546,47 DKK
Forlag
CRC Press
Udgivet
30 maj 2000
Længde
330 sider
Genrer
Mathematics
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9781482283006
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "e;sequents"e; in the technical terminology, the transformations between them