Cargando…

A short introduction to intuitionistic logic

Detalles Bibliográficos
Autor principal:	Mints, Grigori
Lenguaje:	eng
Publicado:	Springer 2002
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/b115304 http://cds.cern.ch/record/1607812

Ejemplares similares

Leo Esakia on duality in modal and intuitionistic logics
por: Bezhanishvili, Guram
Publicado: (2014)

Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
por: Lawvere, F
Publicado: (1972)

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

Treatise on intuitionistic type theory
por: Granström, Johan Georg, et al.
Publicado: (2011)

Proof theory and intuitionistic systems
por: Scarpellini, Bruno
Publicado: (1971)

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)

Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, A
Publicado: (1973)

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

Intuitionistic fuzzy information aggregation: theory and applications
por: Xu, Zeshui, et al.
Publicado: (2012)

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

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

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

Fuzzy set and its extension: the intuitionistic fuzzy set
por: Chaira, Tamalika
Publicado: (2019)

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

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

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

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

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)

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

LEJ Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life
por: Dalen, Dirk
Publicado: (2013)

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

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)

An introduction to mathematical logic and type theory to truth through proof
por: Andrews, Peter B
Publicado: (2002)

Hilbert's tenth problem: an introduction to logic, number theory, and computability
por: Murty, M Ram, et al.
Publicado: (2019)

Introduction to mathematical logic: set theory computable functions model theory
por: Malitz, Jerome
Publicado: (1979)

Intuitionistic fuzzy logics
por: T Atanassov, Krassimir
Publicado: (2017)

Mathematics: a very short introduction
por: Gowers, Timothy
Publicado: (2002)

Topology: a very short introduction
por: Earl, Richard
Publicado: (2019)

Complexity: a very short introduction
por: Holland, John H
Publicado: (2014)

A short introduction to the theory of numbers
por: Churchhouse, Robert F
Publicado: (1985)

A short introduction to numerical analysis
por: Wilkes, M V
Publicado: (1966)

Cannot write session to /tmp/vufind_sessions/sess_ggd5l52mrhov2jk2ldm9o76mjp