Cargando…

Introduction to symbolic logic and its applications

Mostrar otras versiones (1)

Detalles Bibliográficos
Autor principal:	Carnap, Rudolf
Lenguaje:	eng
Publicado:	Dover 1958
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/106685

Ejemplares similares

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

Symbolic logic
por: Venn, John
Publicado: (1971)

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)

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)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Introduction to fuzzy logic applications in intelligent systems
por: Mitchell, Tom, et al.
Publicado: (1992)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1987)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (2015)

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

An introduction to mathematical logic
por: Robison, Gerson B
Publicado: (1969)

An introduction to default logic
por: Besnard, Philippe
Publicado: (1989)

Introduction to mathematical logic
por: Hermes, Hans
Publicado: (1973)

Introduction to fractional and pseudo-differential equations with singular symbols
por: Umarov, Sabir
Publicado: (2015)

Threshold logic and its applications
por: Muroga, Saburo
Publicado: (1971)

Mathematical logic and its applications
por: Skordev, Dimiter
Publicado: (1988)

An algebraic introduction to mathematical logic
por: Barnes, Donald W, et al.
Publicado: (1975)

A Logical Introduction to Proof
por: Cunningham, Daniel W
Publicado: (2012)

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

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

A concise introduction to mathematical logic
por: Rautenberg, Wolfgang
Publicado: (2006)

An introduction to Hilbert space and quantum logic
por: Cohen, David W
Publicado: (1989)

A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang
Publicado: (2010)

A short introduction to intuitionistic logic
por: Mints, Grigori
Publicado: (2002)

Mathematical logic: an introduction to model theory
por: Enderton, H
Publicado: (1978)

SymbolicC++: an introduction to computer algebra using object-oriented programming
por: Shi, Tan Kiat, et al.
Publicado: (2000)

Wave factorization of elliptic symbols theory and applications: introduction to the theory of boundary value problems in non-smooth domains
por: Vasil’ev, Vladimir B
Publicado: (2000)

Sets, functions, and logic: an introduction to abstract mathematics
por: Devlin, Keith
Publicado: (2003)

Fuzzy logic models and fuzzy control: an introduction
por: Hooda, DS, et al.
Publicado: (2016)

Introduction to discrete mathematics via logic and proof
por: Jongsma, Calvin
Publicado: (2019)

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

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

Kripke’s worlds: an introduction to modal logics via tableaux
por: Gasquet, Olivier, et al.
Publicado: (2014)

Mathematical Logic and Model Theory: A Brief Introduction
por: Prestel, Alexander, et al.
Publicado: (2011)

Logical foundations of mathematics and computational complexity: a gentle introduction
por: Pudlák, Pavel
Publicado: (2013)

Sheaves in geometry and logic: a first introduction to topos theory
por: MacLane, Saunders, et al.
Publicado: (1992)

A course in model theory: an introduction to contemporary mathematical logic
por: Poizat, Bruno
Publicado: (2000)

Cannot write session to /tmp/vufind_sessions/sess_kltkmuvttavjj80gns0ka4nib2