Cargando…

Understanding mathematical proof

Mostrar otras versiones (1)

Detalles Bibliográficos
Autor principal:	Taylor, John, 1957-
Otros Autores:	Garnier, Rowan
Formato:	Libro
Lenguaje:	English
Publicado:	Boca Raton : CRC Press/Taylor & Francis, c2014.
Materias:	Teoría de la demostración Lógica matemática

Ejemplares similares

Combinators, 2-terms and proof theory
por: Stenlund, Sören
Publicado: (1972)

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

Foundations of mathematical logic
por: Curry, Haskell B. 1900-1982 (Haskell Brooks)
Publicado: (1977)

Logic, sets, and recursion
por: Causey, Robert L.
Publicado: (2006)

Logic for mathematicians
por: Hamilton, A. G., 1943-
Publicado: (1988)

Introducción al razonamiento matemático /
por: Castaño Perea, Jaime Andrés

How to read and do proofs : an introduction to mathematical thought processes /
por: Solow, Daniel
Publicado: (2002)

Handbook of proof theory /
Publicado: (1998)

Estructuras discretas /
por: Borjas, Osman
Publicado: (2021)

What is mathematical logic
Publicado: (1990)

Handbook of mathematical logic
Publicado: (1977)

Course of mathematical logic
por: Fraíssé, Roland
Publicado: (1974)

Mathematical proofs : a transition to advanced mathematics /
por: Chartrand, Gary
Publicado: (2013)

Mathematical proofs : a transition to advanced mathematics
por: Chartrand, Gary
Publicado: (2003)

First order mathematical logic /
por: Margaris, Angelo
Publicado: (1990)

Popular lectures on mathematical logic
por: Wang, Hao, 1921-
Publicado: (1993)

A concise introduction to pure mathematics /
por: Liebeck, M. W. (Martin W.), 1954-
Publicado: (2006)

An outline of mathematical logic : fundamental results and notions explained with all details
por: Grzegorczyk, Andrzej
Publicado: (1974)

How to read and do proofs : an introduction to mathematical thought processes /
por: Solow, Daniel
Publicado: (1990)

Pensamiento metódico
por: Lorenzen, Paul, 1915-1994
Publicado: (1982)

Pensamiento metódico
por: Lorenzen, Paul, 1915-1994
Publicado: (1973)

Mathematical logic and the foundations of mathematics : an introductory survey /
por: Kneebone, G. T.
Publicado: (1963)

Lógica simbólica
por: Copi, Irving M.

Introcucción a la filosofía matemática
por: Brand, Walther
Publicado: (1930)

The uncertain reasoner's companion : a mathematical perspective /
por: Paris, J. B. (Jeff B.)
Publicado: (1994)

Notes on logic and set theory /
por: Johnstone, P. T.
Publicado: (1987)

Lógica matemática elemental
por: Zubieta Russi, Francisco
Publicado: (1977)

Primer curso de lógica matemática
por: Suppes, Patrick, 1922-2014
Publicado: (1979)

La máquina y las demostraciones : matemáticas, lógica e informática
por: Lolli, Gabriele, 1942-
Publicado: (1991)

Manual de lógica para estudiantes de matemáticas
por: Zubieta Russi, Gonzalo
Publicado: (1971)

Admissible sets and structures : an approach to definability theory
por: Barwise, Jon
Publicado: (1975)

Mathematics and plausible reasoning /
por: Polya, George, 1887-
Publicado: (1990)

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

Algebra de los circuitos lógicos
por: Heim, Klaus
Publicado: (1973)

Teoría de modelos
por: Manzano, María
Publicado: (1989)

First course in mathematical logic
por: Suppes, Patrick, 1922-2014
Publicado: (2002)

A mathematical introduction to logic
por: Enderton, Herbert B.

Matemáticas y razonamiento plausible
por: Polya, George, 1887-1985
Publicado: (1966)

El desarrollo de la lógica matemática /
por: Nidditch, P.H
Publicado: (1995)

Introducción al intuicionismo
por: Heyting, A
Publicado: (1976)

Cannot write session to /tmp/vufind_sessions/sess_2qdvudrkgicsj5m44dob8jkidq