Feferman on Foundations Logic, Mathematics, Philosophy /
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman's work on mathematical as well as specific methodological and philosophica...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Jäger, Gerhard (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sieg, Wilfried (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Έκδοση: | 1st ed. 2017. |
Σειρά: | Outstanding Contributions to Logic,
13 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
New Essays on Belnap-Dunn Logic
Έκδοση: (2019) -
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Έκδοση: (2018) -
Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
Έκδοση: (1997) -
Mathesis Universalis, Computability and Proof
Έκδοση: (2019) -
Heyting Algebras Duality Theory /
ανά: Esakia, Leo, κ.ά.
Έκδοση: (2019)