Cargando…

Structural reality /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Burgin, M. S. (Mark Semenovich)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Hauppauge, N.Y. : Nova Science Publishers, ©2012.
Colección:	Mathematics research developments series.
Temas:	Logic, Symbolic and mathematical. Model categories (Mathematics) Hylomorphism. Logique symbolique et mathématique. Catégories de modèles (Mathématiques) Hylémorphisme. PHILOSOPHY > Metaphysics. Hylomorphism Logic, Symbolic and mathematical
Acceso en línea:	Texto completo

Ejemplares similares

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

Purity, spectra and localisation /
por: Prest, Mike
Publicado: (2009)

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

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

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

Accessible categories : the foundations of categorical model theory /
por: Makkai, Mihály, 1939-, et al.
Publicado: (1989)

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

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

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

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

Introduction to Mathematical Structures and Proofs.
por: Banchoff, Thomas F.
Publicado: (1996)

Algebraic theories : a categorical introduction to general algebra /
por: Adámek, Jiří, 1947-
Publicado: (2011)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989)

In the Light of Logic.
por: Feferman, Solomon
Publicado: (1999)

Kurt Gödel : essays for his centennial /
Publicado: (2010)

Mathematics and plausible reasoning.
por: Pólya, George, 1887-1985
Publicado: (1954)

Kurt Gödel : collected works.
por: Gödel, Kurt
Publicado: (2014)

The foundations of mathematics /
por: Stewart, Ian, 1945-, et al.
Publicado: (2015)

Mathematical logic in the 20th century /
Publicado: (2003)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Mathematical logic in the 20th century /
Publicado: (2003)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn
Publicado: (2004)

Finite dimensional vector spaces /
por: Halmos, Paul R. (Paul Richard), 1916-2006
Publicado: (1948)

Matter and Form in Early Modern Science and Philosophy.
por: Manning, Gideon
Publicado: (2012)

Con argumento lógico : notas de matemáticas aplicadas /
por: VIRGILIO OBESO, MANUEL NAVARRO, FRANCISCO JOSE SA

Quantifiers Propositions Identity.
por: Goldblatt, Robert
Publicado: (2011)

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
Publicado: (2016)

Logic Colloquium 2007 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Publicado: (2007)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Logique arithmétique : l'arithmétisation de la logique /
por: Gauthier, Yvon, 1941-
Publicado: (2010)

Alan Turing's systems of logic : the Princeton thesis /
por: Turing, Alan, 1912-1954
Publicado: (2012)

Mechanical logic in three-dimensional space /
por: Auletta, Gennaro
Publicado: (2013)

The future of post-human mathematical logic /
por: Baofu, Peter
Publicado: (2008)