Modern Logic 1850-1950, East and West
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Abeles, Francine F. (Επιμελητής έκδοσης), Fuller, Mark E. (Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Birkhäuser,
2016.
|
Σειρά: | Studies in Universal Logic,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau Volume I /
Έκδοση: (2015) -
The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /
Έκδοση: (2015) -
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
ανά: Murawski, Roman
Έκδοση: (2014) -
Turing’s Revolution The Impact of His Ideas about Computability /
Έκδοση: (2015) -
Logicism, Intuitionism, and Formalism What has Become of Them? /
Έκδοση: (2009)