Cargando…

Two applications of logic to mathematics

Detalles Bibliográficos
Autor principal:	Takeuti, Gaisi
Lenguaje:	eng
Publicado:	Princeton University Press 1978
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2144703

Ejemplares similares

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

Axiomatic set theory
por: Takeuti, Gaisi, et al.
Publicado: (1973)

Introduction to axiomatic set theory
por: Takeuti, Gaisi, et al.
Publicado: (1971)

Introduction to axiomatic set theory
por: Takeuti, Gaisi, et al.
Publicado: (1982)

Mathematical logic and its applications
por: Skordev, Dimiter
Publicado: (1988)

Strict finitism and the logic of mathematical applications
por: Ye, Feng
Publicado: (2011)

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: Gandy, R O, et al.
Publicado: (2001)

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

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

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

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

Studies in constructive mathematics and mathematical logic
por: Slisenko, A
Publicado: (1969)

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

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

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)

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

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

The mathematics of logic: a guide to completeness theorems and their applications
por: Kaye, Richard W
Publicado: (2007)

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

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

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

The two-valued iterative systems of mathematical logic (AM-5)
por: Post, Emil L
Publicado: (1942)

Hilary Putnam on logic and mathematics
por: Hellman, Geoffrey, et al.
Publicado: (2018)

The logical structure of mathematical physics
por: Sneed, Joseph D
Publicado: (1971)

A course in mathematical logic
por: Manin, Yu I
Publicado: (1977)

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

Conference Cultures of Mathematics and Logic
por: Ju, Shier, et al.
Publicado: (2016)

A precis of mathematical logic
por: Bochénski, Innocentius Marie
Publicado: (1959)

Phenomenology, Logic, and the Philosophy of Mathematics
por: Tieszen, Richard
Publicado: (2005)

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

The logical structure of mathematical physics
por: Sneed, Joseph D
Publicado: (1979)

A profile of mathematical logic
por: Delong, Howard
Publicado: (1970)

Cannot write session to /tmp/vufind_sessions/sess_ovm1nqu7mhultgqti2feminmqe