Cargando…

On group-theoretic decision problems and their classification /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Charles F. Miller
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Princeton : Princeton Univ Press, 2016.
Temas:	Group theory. Logic, Symbolic and mathematical. Théorie des groupes. Logique symbolique et mathématique. MATHEMATICS > Group Theory. Group theory Logic, Symbolic and mathematical
Acceso en línea:	Texto completo

Ejemplares similares

Classical groups, derangements and primes /
por: Burness, Timothy C., 1979-, et al.
Publicado: (2016)

Beyond Sets : a Venture in Collection-Theoretic Revisionism.
por: Rescher, Nicholas
Publicado: (2011)

Beyond Sets : a Venture in Collection-Theoretic Revisionism.
por: Rescher, Nicholas
Publicado: (2011)

Realizability : an Introduction to its Categorical Side.
por: Van Oosten, Jaap
Publicado: (2008)

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

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

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

Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies.
por: Kennedy, Juliette
Publicado: (2011)

Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies.
por: Kennedy, Juliette
Publicado: (2011)

The equations : icons of knowledge /
por: Bais, Sander
Publicado: (2005)

Sets, Logic and Categories.
por: Cameron, Peter J.
Publicado: (1998)

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

New Perspectives on Games and Interaction
por: Apt, Krzysztof, et al.
Publicado: (2008)

Twenty Five Years of Constructive Type Theory.
por: Sambin, Giovanni
Publicado: (1998)

New Perspectives on Games and Interaction
por: Apt, Krzysztof, et al.
Publicado: (2008)

Proof Logic and Formalization.
por: Detlefsen, Michael, 1948-
Publicado: (1992)

Algebra and computer science /
Publicado: (2016)

Mathematical thinking and writing : a transition to abstract mathematics /
por: Maddox, Randall B.
Publicado: (2002)

Conditional and preferential logics : proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010)

The determinacy of long games /
por: Neeman, Itay, 1972-
Publicado: (2004)

An Introduction to Non-Classical Logic : From If to Is
por: Priest, Graham
Publicado: (2008)

Set theory and its logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1969)

Set theory and its logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1969)

Institution-independent model theory /
por: Diaconescu, Răzvan
Publicado: (2008)

Concepts of proof in mathematics, philosophy, and computer science /
Publicado: (2016)

Concepts of proof in mathematics, philosophy, and computer science /
Publicado: (2016)

A hierarchy of formulas in set theory /
por: Lévy, Azriel, 1934-
Publicado: (1965)

Collected works.
por: Gödel, Kurt
Publicado: (1986)

Roads to infinity : the mathematics of truth and proof /
por: Stillwell, John
Publicado: (2010)

Proof and knowledge in mathematics /
Publicado: (1992)

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London /
Publicado: (2007)

An introductory to set theory /
Publicado: (2014)

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

Lectures on infinitary model theory /
por: Marker, D. (David), 1958-
Publicado: (2016)

Model theory and the philosophy of mathematical practice : formalization without foundationalism /
por: Baldwin, John T.
Publicado: (2018)

Recursion theory for metamathematics /
por: Smullyan, Raymond M.
Publicado: (1993)

Simplicity theory /
por: Kim, Byunghan
Publicado: (2014)

Proof, logic, and formalization /
Publicado: (1992)

Linear Logic in Computer Science /
Publicado: (2004)

The Birth of model theory : Lowenheim's Theorem in the frame of the theory of relatives
por: Badesa, Calixto
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_em35bud0r7e7p0ts5jfl70uuc0