Cargando…

Internal logic

Detalles Bibliográficos
Autores principales:	Hintikka, Jaakko, van Dalen, Dirk, Davidson, Donald
Lenguaje:	eng
Publicado:	Springer 2010
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-94-017-0083-2 http://cds.cern.ch/record/2697868

Ejemplares similares

Handbook of philosophical logic
por: Hintikka, Jaakko, et al.
Publicado: (1984)

History and philosophy of constructive type theory
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Growth of mathematical knowledge
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Language, truth and logic in mathematics
por: Hintikka, Jaakko
Publicado: (1998)

Truth, proof and infinity: a theory of constructions and constructive reasoning
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Logic and structure
por: van Dalen, Dirk
Publicado: (2008)

Logic and structure
por: Dalen, Dirk
Publicado: (1983)

Logic and Structure
por: Dalen, Dirk
Publicado: (2013)

Logic and structure
por: Dalen, Dirk
Publicado: (1980)

Studies in inductive probability and rational expectation
por: Hintikka, Jaakko, et al.
Publicado: (1978)

Logic and structure
por: Dan Dalen, Dirk
Publicado: (1997)

Hilbert's program: an essay on mathematical instrumentalism
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Logicism, intuitionism, and formalism
por: Symons, John, et al.
Publicado: (2008)

Logic colloquium '80
por: van Dalen, D, et al.
Publicado: (1982)

Representations of Multiple-Valued Logic Functions
por: Stankovic, Radomir S, et al.
Publicado: (2012)

International Summer Institute and Logic Colloquium
por: Diller, Justus, et al.
Publicado: (1975)

International Summer Institute and Logic Colloquium
por: Müller, Gert, et al.
Publicado: (1975)

Mathematical logic
por: Monk, J Donald
Publicado: (1976)

International Symposium on Logical Foundations of Computer Science
por: Artemov, Sergei, et al.
Publicado: (2020)

Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004)

International Colloquium on Mathematical Logic and Foundations of Set Theory
por: Bar-Hillel, Yehoshua
Publicado: (1970)

Caltech-UCLA Logic Seminar
por: Kechris, Alexander, et al.
Publicado: (1981)

Caltech-UCLA Logic Seminar
por: Kechris, Alexander, et al.
Publicado: (1983)

An algebraic introduction to mathematical logic
por: Barnes, Donald W, et al.
Publicado: (1975)

Caltech-UCLA Logic Seminar
por: Kechris, Alexander, et al.
Publicado: (1988)

4th International Congress for Logic, Methodology, and Philosophy of Science
por: Bogdan, R, et al.
Publicado: (1973)

10th International Congress of Logic, Methodology and Philosophy of Science
por: Cantini, Andrea, et al.
Publicado: (1999)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Functions and generality of logic: reflections on Dedekind's and Frege's logicisms
por: Benis-Sinaceur, Hourya, et al.
Publicado: (2015)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Rethinking logic: logic in relation to mathematics, evolution, and method
por: Cellucci, Carlo
Publicado: (2014)

Logical labyrinths
por: Smullyan, Raymond
Publicado: (2008)

Computability and logic
por: Boolos, George S, et al.
Publicado: (2007)

Logic Symposia
por: Müller, Gert, et al.
Publicado: (1981)

Symposium on Logic
por: Parikh, Rohit
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_s4j7v9hl2dvn8ada2ocs6rbbo4