Cargando…

Symbolic logic

Detalles Bibliográficos
Autor principal:	Venn, John
Lenguaje:	eng
Publicado:	Chelsea 1971
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/268028

Ejemplares similares

Symbolic logic: syntax, semantics, and proof
por: Agler, David
Publicado: (2012)

Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969)

Symbolic logic and mechanical theorem proving
por: Chang Chin Liang, et al.
Publicado: (1973)

Introduction to symbolic logic and its applications
por: Carnap, Rudolf
Publicado: (1958)

Direct and converse theorems: the elements of symbolic logic
por: Gradshtein, I S, et al.
Publicado: (1963)

The origin of the logic of symbolic mathematics: Edmund Husserl and Jacob Klein
por: Hopkins, Burt C
Publicado: (2011)

NATO Advanced Study Institute Meeting of the Association for Symbolic Logic
por: Löb, M
Publicado: (1968)

Symbolic asymptotics
por: Shackell, John R
Publicado: (2004)

Symbolic integration
por: Bronstein, Manuel
Publicado: (1997)

Symbolic rewriting techniques
por: Bronstein, Manuel, et al.
Publicado: (1998)

Symbolic and algebraic computation
por: Fitch, J
Publicado: (1985)

Algebra for Symbolic Computation
por: Machi, Antonio
Publicado: (2012)

International Symposium on Symbolic and Algebraic Computation
por: Fitch, John
Publicado: (1984)

Clustering methodology for symbolic data
por: Billard, Lynne, et al.
Publicado: (2019)

Pseudodifferential operators with automorphic symbols
por: Unterberger, André
Publicado: (2015)

Symbol correspondences for spin systems
por: Rios, Pedro de M, et al.
Publicado: (2014)

Topics in symbolic dynamics and applications
por: Blanchard, F, et al.
Publicado: (2000)

Symbolic dynamics of trapezoidal maps
por: Louck, J D, et al.
Publicado: (1986)

Cuspidal modular symbols are transportable
por: Stein, W A, et al.
Publicado: (2001)

Symbolic computation for statistical inference
por: Andrews, D F, et al.
Publicado: (2000)

Profinite semigroups and symbolic dynamics
por: Almeida, Jorge, et al.
Publicado: (2020)

Endomorphisms of symbolic algebraic varieties
por: Gromov, M
Publicado: (1998)

Computer algebra: symbolic and algebraic
por: Albrecht, Rudolf, et al.
Publicado: (1983)

Differential equations with symbolic computation
por: Wang, Dongming, et al.
Publicado: (2005)

Symbolic dynamics and hyperbolic groups
por: Coornaert, Michel, et al.
Publicado: (1993)

Combinatorics, words and symbolic dynamics
por: Berthé, Valérie, et al.
Publicado: (2016)

Algebra: Sets, Symbols, and the Language of Thought (Revised Edition)
por: Tabak, John
Publicado: (2011)

Symbolic Integration I: Transcendental Functions
por: Bronstein, Manuel
Publicado: (2005)

International Symposium on Symbolic and Algebraic Computation
Publicado: (1990)

Symbolic algebraic methods and verification methods
por: Alefeld, Götz, et al.
Publicado: (2001)

Sets and logic
por: Hanna, Samuel C, et al.
Publicado: (1971)

Computability and logic
por: Boolos, George S, et al.
Publicado: (2007)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2002)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2007)

Computer algebra and symbolic computation: elementary algorithms
por: Cohen, Joel S
Publicado: (2002)

Computer algebra and symbolic computation: mathematical methods
por: Cohen, Joel S
Publicado: (2003)

Mathematical discourse: language, symbolism and visual images
por: O'Halloran, Kay
Publicado: (2008)

Bravais classes, Voronoï cells, Delone symbols
por: Michel, L
Publicado: (1994)

Horofunctions and symbolic dynamics on Gromov hyperbolic groups
por: Coornaert, M, et al.
Publicado: (1998)

Banach algebras with symbol and singular integral operators
por: Krupnik, Naum Yakovlevich
Publicado: (1987)

Cannot write session to /tmp/vufind_sessions/sess_c061m41tc0041t0hdsv0g3bkls