Cargando…

Conference on Applications of Logic to Algebra and Arithmetic

Detalles Bibliográficos
Autores principales:	Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec
Lenguaje:	eng
Publicado:	Springer 1980
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/BFb0090155 http://cds.cern.ch/record/2008084

Ejemplares similares

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Model Theory in Algebra, Analysis and Arithmetic
por: Dries, Lou, et al.
Publicado: (2014)

Algebraic arithmetic
por: Bell, Eric T
Publicado: (1927)

Arithmetic algebraic geometry
por: Geer, G, et al.
Publicado: (1991)

Algebra, Arithmetic, and Geometry
por: Tschinkel, Yuri, et al.
Publicado: (2009)

Algebra, Arithmetic, and Geometry
por: Tschinkel, Yuri, et al.
Publicado: (2010)

On the "arithmetization" of algebraic geometry
por: Slembek, S
Publicado: (2003)

Arithmetic of blowup algebras
por: Vasconcelos, Wolmer V
Publicado: (1994)

Arithmetics of quadratic Jordan algebras
por: Racine, Michel L
Publicado: (1973)

Algebraic geometry and arithmetic curves
por: Liu, Qing, et al.
Publicado: (2002)

Algebra, arithmetic and geometry with applications: papers from Shreeram S Abhyankar’s 70th birthday conference
por: Christensen, Chris, et al.
Publicado: (2004)

Quadratic algebras, clifford algebras, and arithmetic witt groups
por: Hahn, Alexander J
Publicado: (1994)

Taniguchi Symposium on Arithmetical Algebraic Geometry
Publicado: (1991)

Cubic forms: algebra, geometry, arithmetic
por: Manin, Yu I
Publicado: (1986)

Analytic arithmetic in algebraic number fields
por: Moroz, B Z
Publicado: (1986)

Arithmetic of higher-dimensional algebraic varieties
por: Poonen, Björn, et al.
Publicado: (2004)

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

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

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

Algebra 1: groups, rings, fields and arithmetic
por: Lal, Ramji
Publicado: (2017)

“Classical” Algebraic K-Theory, and Connections with Arithmetic
por: Bass, H
Publicado: (1973)

Representation theory of finite groups: algebra and arithmetic
por: Weintraub, Steven H
Publicado: (2003)

Conjectures in arithmetic algebraic geometry: a survey
por: Hulsbergen, Wilfred W J
Publicado: (1994)

Development of Arabic mathematics: between arithmetic and algebra
por: Cohen, Robert S, et al.
Publicado: (1994)

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)

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

Hilbert's tenth problem: relations with arithmetic and algebraic geometry
por: Denef, Jan, et al.
Publicado: (2000)

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

Quadratic number theory: an invitation to algebraic methods in the higher arithmetic
por: Lehman, J L
Publicado: (2019)

Fleeting footsteps: tracing the conception of arithmetic and algebra in ancient China
por: Yong, Lam Lay, et al.
Publicado: (2004)

Elementary mathematics from an advanced standpoint: arithmetic, algebra, analysis
por: Klein, Felix
Publicado: (1932)

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)

Conference on Number Theory and Arithmetic Geometry
por: Cornell, Gary, et al.
Publicado: (1997)

Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis
por: Fourman, Michael, et al.
Publicado: (1979)

Cannot write session to /tmp/vufind_sessions/sess_u6au9oo7rvv9antj3k0ccg73h8