Cargando…

Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis

Detalles Bibliográficos
Autores principales:	Fourman, Michael, Mulvey, Christopher, Scott, Dana
Lenguaje:	eng
Publicado:	Springer 1979
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/BFb0061811 http://cds.cern.ch/record/2007908

Ejemplares similares

Sheaf theory
por: Tennison, B R
Publicado: (1975)

Sheaf theory
por: Bredon, Glen E
Publicado: (1997)

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

A spectral sequence for the tangent sheaf cohomology of a supermanifold
por: Onishchik, A L
Publicado: (1994)

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

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

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

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

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)

Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
por: Lawvere, F
Publicado: (1972)

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

Symposium on Logic
por: Parikh, Rohit
Publicado: (1975)

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

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

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

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

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

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

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)

Eleven papers on logic, algebra, analysis and topology
por: Bronstein, I U, et al.
Publicado: (1971)

Model theory with applications to algebra and analysis
por: Chatzidakis, Zoé, et al.
Publicado: (2008)

Model theory with applications to algebra and analysis
por: Chatzidakis, Zoé, et al.
Publicado: (2008)

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

Symposium on Algebraic Topology
por: Dupont, Johan, et al.
Publicado: (1979)

Symposium on Algebraic Topology
por: Hilton, Peter
Publicado: (1971)

Symposium on Algebraic Geometry
por: Oda, Tadao
Publicado: (1987)

Summer Symposium on Algebra
Publicado: (1997)

Symposium on Algebraic Topology
por: Aguadé, J, et al.
Publicado: (1987)

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

Linear algebra: theory and applications
por: Cheney, E W, et al.
Publicado: (2012)

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

Fourteen papers on logic, geometry, topology and algebra
por: Ceĭtin, G S, et al.
Publicado: (1972)

Residuated lattices: an algebraic glimpse at substructural logics
por: Galatos, Nikolaos, et al.
Publicado: (2007)

Non-commutative multiple-valued logic algebras
por: Ciungu, Lavinia Corina
Publicado: (2014)

A general algebraic semantics for sentential logics
por: Font, Josep Maria, et al.
Publicado: (2017)

Tromsø Symposium on Algebraic Geometry
por: Olson, Loren
Publicado: (1978)

Symposium on Algebraic and Geometric Topology
por: Millett, Kenneth
Publicado: (1978)

Symposium on Differential and Algebraic Topology
por: Schweitzer, Paul L
Publicado: (1978)

Cannot write session to /tmp/vufind_sessions/sess_0dpiit587h7pntnn0tcpi3ute4