Cargando…

Logic by way of set theory

Detalles Bibliográficos
Autor principal:	Ehlers, Henry
Lenguaje:	eng
Publicado:	Holt, Rinehart and Winston 1968
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/106791

Ejemplares similares

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

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

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

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

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

A first course in mathematical logic and set theory
por: O'Leary, Michael L
Publicado: (2016)

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

Mathematics of fuzzy sets: logic, topology, and measure theory
por: Höhle, Ulrich, et al.
Publicado: (1999)

Sets and logic
por: Hanna, Samuel C, et al.
Publicado: (1971)

Logical number theory
por: Smoryński, Craig
Publicado: (1991)

Logic, computers, and sets
por: Wang Hao
Publicado: (1970)

Sets, logic and categories
por: Cameron, Peter J
Publicado: (1998)

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

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)

Probability theory: the logic of science
por: Jaynes, E T, 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)

Function algebras on finite sets: basic course on many-valued logic and clone theory
por: Lau, Dietlinde
Publicado: (2006)

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)

Descriptive set theory and forcing: how to prove theorems about borel sets the hard way
por: Miller, Arnold W
Publicado: (2017)

Probabilistic logic in a coherent setting
por: Coletii, Giulianella, et al.
Publicado: (2002)

Mathematics of Fuzzy Sets and Fuzzy Logic
por: Bede, Barnabas
Publicado: (2013)

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

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)

Cannot write session to /tmp/vufind_sessions/sess_8odsfjt3naba58tv5kveh1h539