Cargando…

An algebraic introduction to mathematical logic

Detalles Bibliográficos
Autores principales:	Barnes, Donald W, Mack, John M
Lenguaje:	eng
Publicado:	Springer 1975
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-1-4757-4489-7 http://cds.cern.ch/record/1615099

Ejemplares similares

Algebraic methods of mathematical logic
por: Rieger, Ladislav S
Publicado: (1967)

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

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

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

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

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

A concise introduction to mathematical logic
por: Rautenberg, Wolfgang
Publicado: (2006)

A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang
Publicado: (2010)

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

Algebra and geometry: an introduction to university mathematics
por: Lawson, Mark V
Publicado: (2016)

Linear algebra: an introduction to abstract mathematics
por: Valenza, Robert J
Publicado: (1993)

An introduction to the mathematics of biology with computer algebra models
por: Yeargers, Edward K, et al.
Publicado: (1996)

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

Sets, functions, and logic: an introduction to abstract mathematics
por: Devlin, Keith
Publicado: (2003)

Introduction to discrete mathematics via logic and proof
por: Jongsma, Calvin
Publicado: (2019)

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

Logic and algebra
por: Zhang, Yi
Publicado: (2002)

Logic as algebra
por: Halmos, Paul, et al.
Publicado: (1998)

Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society
por: Crossley, John
Publicado: (1975)

Mathematical Logic and Model Theory: A Brief Introduction
por: Prestel, Alexander, et al.
Publicado: (2011)

Universal algebra, algebraic logic, and databases
por: Plotkin, B
Publicado: (1994)

Cylindric-like algebras and algebraic logic
por: Andréka, Hajnal, et al.
Publicado: (2013)

Logic and Boolean algebra
por: Arnold, Bradford Henry
Publicado: (1962)

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

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

A course in model theory: an introduction to contemporary mathematical logic
por: Poizat, Bruno
Publicado: (2000)

An introduction to mathematical logic and type theory to truth through proof
por: Andrews, Peter B
Publicado: (2002)

Twelve papers in logic and algebra
por: Lavrik, A F, et al.
Publicado: (1979)

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

Quantum logic in algebraic approach
por: Rédei, Miklós
Publicado: (1998)

Sixteen papers on logic and algebra
por: Baranskii, V A, et al.
Publicado: (1970)

Twelve papers on logic and algebra
por: Fel'dman, N I, et al.
Publicado: (1966)

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

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

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

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

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

Computer algebra with lisp and reduce: an introduction to computer-aided pure mathematics
por: Brackx, F, et al.
Publicado: (1991)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Conference on Applications of Logic to Algebra and Arithmetic
por: Pacholski, Leszek, et al.
Publicado: (1980)

Cannot write session to /tmp/vufind_sessions/sess_8bc65hsg459d4v5buv22tr34jk