Cargando…

Theory of formal systems (AM-47)

Detalles Bibliográficos
Autor principal:	Smullyan, Raymond M
Lenguaje:	eng
Publicado:	Princeton University Press 1961
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2238093

Ejemplares similares

Introduction to the theory of formal groups
por: Dieudonné, Jean Alexandre
Publicado: (1973)

Logical labyrinths
por: Smullyan, Raymond
Publicado: (2008)

Forever undecided: a puzzle guide to Gödel
por: Smullyan, Raymond M
Publicado: (1991)

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

Theory of automata, formal languages and computation
por: Xavier, SPE
Publicado: (2004)

Formalization of complex analysis and matrix theory
por: Shi, Zhiping, et al.
Publicado: (2020)

K-theory of forms (AM-98)
por: Bak, Anthony
Publicado: (1982)

Advances in game theory (AM-52)
por: Dresher, Melvin, et al.
Publicado: (1964)

Proof theory : sequent calculi and related formalisms
por: Bimbó, Katalin
Publicado: (2015)

Extension theory of formally normal and symmetric subspaces
por: Coddington, Earl A
Publicado: (1973)

Formal category theory adjointness for 2-categories
por: Gray, John W
Publicado: (1974)

The spectral theory of Toeplitz operators (AM-99)
por: Boutet de Monvel, L, et al.
Publicado: (1981)

The equidistribution theory of holomorphic curves (AM-64)
por: Wu, Hung-his
Publicado: (1970)

A theory of cross-spaces (AM-26)
por: Schatten, Robert
Publicado: (1985)

Contributions to the theory of nonlinear oscillations (AM-29)
por: Lefschetz, Solomon
Publicado: (1952)

Contributions to the theory of nonlinear oscillations (AM-36)
por: Lefschetz, Solomon
Publicado: (1956)

Contributions to the theory of nonlinear oscillations (AM-41)
por: Lefschetz, Solomon
Publicado: (1958)

Radically elementary probability theory (AM-117)
por: Nelson, Edward
Publicado: (1987)

Formality theory: from Poisson structures to deformation quantization
por: Esposito, Chiara
Publicado: (2015)

Nilpotence and periodicity in stable homotopy theory (AM-128)
por: Ravenel, Douglas C
Publicado: (1993)

Contributions to the theory of partial differential equations (AM-33)
por: Bochner, Salomon, et al.
Publicado: (1954)

Freedom and enforcement in action: a study in formal action theory
por: Czelakowski, Janusz
Publicado: (2015)

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

The formal group law and transferred Chern classes in Morava K-theory
por: Bakuradze, M
Publicado: (2002)

Diffusion, quantum theory, and radically elementary mathematics (MN-47)
por: Faris, William G
Publicado: (2014)

Lie equations, volume 1: general theory (AM-73)
por: Kumpera, Antonio, et al.
Publicado: (1973)

Topics in harmonic analysis related to the littlewood-paley theory (AM-63)
por: Stein, Elias M
Publicado: (1970)

Rigid local systems (AM-139)
por: Katz, Nicholas M
Publicado: (1996)

Mathematical logic and formalized theories: a survey of basic concepts and results
por: Rogers, Robert L
Publicado: (1971)

Finite automata, their algebras and grammars: towards a theory of formal expressions
por: Büchi, J Richard, et al.
Publicado: (1989)

Topological methods in the theory of functions of a complex variable (AM-15)
por: Morse, Marston
Publicado: (1948)

An essay toward a unified theory of special functions (AM-18)
por: Truesdell, Clifford
Publicado: (1949)

Temperley-Lieb recoupling theory and invariants of 3-manifolds (AM-134)
por: Kauffman, Louis H, et al.
Publicado: (1994)

Formal group laws over Hopf algebras and their application to complex cobordism theory
por: Ershov, A V
Publicado: (2002)

Three-dimensional link theory and invariants of plane curve singularities (AM-110)
por: Eisenbud, David, et al.
Publicado: (1986)

Simple algebras, base change, and the advanced theory of the trace formula (AM-120)
por: Arthur, James, et al.
Publicado: (1989)

Formal matrices
por: Krylov, Piotr, et al.
Publicado: (2017)

Formal groups
por: Fröhlich, A
Publicado: (1968)

Linear inequalities and related systems (AM-38)
por: Tucker, Albert William, et al.
Publicado: (1956)

Differential systems and isometric embeddings(AM-114)
por: Griffiths, Phillip A, et al.
Publicado: (1987)

Cannot write session to /tmp/vufind_sessions/sess_u702mt9a84b4vrqdcu0ibsaifa