Matematisk logik
Filter
How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to …
This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories …
This volume explores A.P. Morse’s (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, …