Gödel, Turing and the Iconic/Performative Axis von Kennedy, Juliette Cara

Volltext

Juliet Floyd and Felix Mühlhölzer. Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real... von Kennedy, Juliette

Volltext

Gödel and the Integrated Self, or: On the Philosopher's Second Sailing von Kennedy, Juliette

Volltext

Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings von Kennedy, Juliette, de Queiroz, Ruy J. G. B

Volltext

LOGICALITY AND MODEL CLASSES von KENNEDY, JULIETTE, VÄÄNÄNEN, JOUKO

Volltext

ON FORMALISM FREENESS: IMPLEMENTING GÖDEL'S 1946 PRINCETON BICENTENNIAL LECTURE von KENNEDY, JULIETTE

Volltext

On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture von Kennedy, Juliette

Volltext

Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp von Kennedy, Juliette

Volltext

24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017 von Kennedy, Juliette, de Queiroz, Ruy

Volltext

Curtis Franks. The autonomy of mathematical knowledge: Hilbert's program revisited. Cambridge University Press, Cambridge, 2009, 213 pp von Kennedy, Juliette

Volltext

Gödel's Reception of Turing's Model of Computability: The ``Shift of Perception'' in 1934 von Kennedy, Juliette

Volltext

24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18–21, 2017 von Kennedy, Juliette, Silva, Alexandra, de Queiroz, Ruy, Sadrzadeh, Mehrnoosh

Volltext

Mapping Traces: Editorial Introduction von Cortés, María Clara, Kennedy, Juliette, Villaveces, Andrés

Volltext

The Princeton Companion to Mathematics, edited by Timothy Gowers (June Barrow-Green and Imre Leader, associate editors), Princeton University Press, 2008, 1008 pp von Kennedy, Juliette

Volltext

24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017) von Kennedy, Juliette, Queiroz, Ruy de, Silva, Alexandra, Sadrzadeh, Mehrnoosh

Volltext

Generalized Relations in Linguistics and Cognition von Coecke, Bob, Genovese, Fabrizio, Lewis, Martha, Marsden, Dan

Volltext

Preface von Kennedy, Juliette, van Oosten, Jaap

Volltext

Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Volltext

Logicality and Model Classes von Kennedy, Juliette, Väänänen, Jouko

Volltext bestellen

Multi-type Display Calculus for Semi De Morgan Logic von Greco, Giuseppe, Liang, Fei, Moshier, M. Andrew, Palmigiano, Alessandra

Volltext