Cargando…

Logicism renewed: logical foundations for mathematics and computer science

Detalles Bibliográficos
Autor principal:	Gilmore, Paul C
Lenguaje:	eng
Publicado:	CRC Press 2005
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2705095

Ejemplares similares

Foundations of logic and mathematics: applications to computer science and cryptography
por: Nievergelt, Yves
Publicado: (2002)

Mathematical logic: foundations for information science
por: Li, Wei
Publicado: (2014)

Logic, mathematics, and computer science: modern foundations with practical applications
por: Nievergelt, Yves
Publicado: (2015)

The logical foundations of mathematics
por: Hatcher, William S, et al.
Publicado: (1981)

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

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

Feferman on foundations: logic, mathematics, philosophy
por: Jäger, Gerhard, et al.
Publicado: (2017)

Leśniewski's systems of logic and foundations of mathematics
por: Urbaniak, Rafal
Publicado: (2014)

Logical foundations of mathematics and computational complexity: a gentle introduction
por: Pudlák, Pavel
Publicado: (2013)

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

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

Linear logic in computer science
por: Ehrhard, Thomas, et al.
Publicado: (2004)

Mathematical logic
por: Gandy, R O, et al.
Publicado: (2001)

Mathematical logic
por: Ebbinghaus, H -D, et al.
Publicado: (1994)

Mathematical logic
por: Ponasse, Daniel
Publicado: (1973)

Mathematical logic
por: Kleene, Stephen Cole
Publicado: (1967)

Mathematical logic
por: Petkov, Petio
Publicado: (1990)

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

Logical studies of paraconsistent reasoning in science and mathematics
por: Andreas, Holger, et al.
Publicado: (2016)

Logical Foundations of Proof Complexity
por: Cook, Stephen, et al.
Publicado: (2010)

The logical foundations of statistical inference
por: Kyburg, Henry E
Publicado: (1974)

Five papers on logic and foundations
por: Ceitin, G S, et al.
Publicado: (1971)

Five papers on logic and foundations
por: Ceitin, G S, et al.
Publicado: (1972)

Logics in computer science: a study on extensions of temporal and strategic logics
por: Mogavero, Fabio
Publicado: (2013)

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

A computational logic handbook: formerly notes and reports in computer science and applied mathematics
por: Boyer, Robert S, et al.
Publicado: (1988)

Fundamental of mathematical logic
por: Hinman, Peter G
Publicado: (2005)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1987)

Conference in Mathematical Logic
por: Hodges, Wilfrid
Publicado: (1972)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (2015)

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

Aspects of Mathematical Logic
por: Casari, Ettore
Publicado: (2011)

Mathematics, machines and logic
por: Sheridan, P B
Publicado: (1963)

An introduction to mathematical logic
por: Robison, Gerson B
Publicado: (1969)

Introduction to mathematical logic
por: Hermes, Hans
Publicado: (1973)

Saved from the cellar: Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics
por: von Plato, Jan
Publicado: (2017)

Fuzzy logic foundations and industrial applications
por: Ruan, Da
Publicado: (1996)

Mathematical problems from applied logic: logics for the XXIst century
por: Gabbay, Dov, et al.
Publicado: (2006)

Logical thinking in the pyramidal schema of concepts: the logical and mathematical elements
por: Geldsetzer, Lutz, et al.
Publicado: (2014)

Mathematics and mathematical logic: new research
por: Milosav, Peter, et al.
Publicado: (2010)

Cannot write session to /tmp/vufind_sessions/sess_8r3furu4jcuvk0592t080pk3v7