Cargando…

Logical number theory

Detalles Bibliográficos
Autor principal:	Smoryński, Craig
Lenguaje:	eng
Publicado:	Springer 1991
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-3-642-75462-3 http://cds.cern.ch/record/1617963

Ejemplares similares

Self-reference and modal logic
por: Smoryński, C
Publicado: (1985)

Five papers on logic, algebra and number theory
por: Faddeev, D K
Publicado: (1956)

Mathematical problems: an essay on their nature and importance
por: Smoryński, Craig
Publicado: (2020)

History of mathematics: a supplement
por: Smoryński, Craig
Publicado: (2008)

MVT: a most valuable theorem
por: Smorynski, Craig
Publicado: (2017)

Hilbert's tenth problem: an introduction to logic, number theory, and computability
por: Murty, M Ram, et al.
Publicado: (2019)

Mathematics of the 19th century: mathematical logic, algebra, number theory, probability theory
por: Kolmogorov, A, et al.
Publicado: (1992)

Set theory and logic
por: Stoll, Robert R
Publicado: (1963)

Recursive number theory: a development of recursive arithmetic in a logic-free equation calculus
por: Goodstein, Reuben Louis
Publicado: (1957)

The theory of gambling and statistical logic
por: Epstein, Richard A
Publicado: (1995)

Lectures in logic and set theory
por: Tourlakis, George
Publicado: (2003)

The Theory of Gambling and Statistical Logic
por: Epstein, Richard A
Publicado: (2009)

Completeness Theory for Propositional Logics
por: Pogorzelski, Witold A, et al.
Publicado: (2008)

Decidability of logical theories and their combination
por: Rasga, João, et al.
Publicado: (2020)

Logic by way of set theory
por: Ehlers, Henry
Publicado: (1968)

Probability theory: the logic of science
por: Jaynes, E T, et al.
Publicado: (2003)

Lectures in Logic and Set Theory
por: Tourlakis, George, et al.
Publicado: (2003)

Proof theory for fuzzy logics
por: Metcalfe, G, et al.
Publicado: (2009)

The computational complexity of logical theories
por: Ferrante, Jeanne, et al.
Publicado: (1979)

Proof theory of modal logic
por: Wansing, Heinrich
Publicado: (1996)

Dependence logic: theory and applications
por: Abramsky, Samson, et al.
Publicado: (2016)

Boolean logic, expressions and theories
por: Carlsen, Victoria C
Publicado: (2020)

Problems in set theory, mathematical logic and the theory of algorithms
por: Corsi, Giovanna
Publicado: (2003)

Fuzzy logic: theory, programming and applications
por: Vargas, Raymond E
Publicado: (2010)

Hybrid Logic and its Proof-Theory
por: Brauner, Torben
Publicado: (2011)

Integration of fuzzy logic and chaos theory
por: Li, Zhong, et al.
Publicado: (2005)

Mathematical logic: an introduction to model theory
por: Enderton, H
Publicado: (1978)

Eighteen papers on logic and theory of functions
por: Arson, I S, et al.
Publicado: (1969)

Nine papers on logic and group theory
por: Berman, S D, et al.
Publicado: (1967)

A formal background to mathematics: logic, sets and numbers
por: Edwards, Robert
Publicado: (1979)

Recursion theory: lecture notes in logic 1
por: Shoenfield, Joseph R
Publicado: (2018)

Application of fuzzy logic to social choice theory
por: Mordeson, John N, et al.
Publicado: (2015)

Bounded arithmetic, propositional logic and complexity theory
por: Krajicek, Jan
Publicado: (1995)

Many-dimensional modal logics: theory and applications
por: Gabbay, D M, et al.
Publicado: (2003)

Category Theory : Applications to Algebra, Logic and Topology
por: Kamps, Klaus, et al.
Publicado: (1982)

Ω-bibliography of mathematical logic: model theory
por: Müller, Gert, et al.
Publicado: (1987)

The semantics and proof theory of the logic of bunched implications
por: Pym, David J
Publicado: (2002)

Fuzzy logic: Einführung in Theorie und Anwendungen
por: Bothe, Hans Heinrich
Publicado: (1993)

Introduction to mathematical logic: set theory computable functions model theory
por: Malitz, Jerome
Publicado: (1979)

Boole's logic and probability: a critical exposition from the standpoint of contemporary algebra, logic and probability theory
por: Hailperin, Theodore
Publicado: (1976)

Cannot write session to /tmp/vufind_sessions/sess_pu4gfrgadn195g0s6uvcfsdil2