Cargando…

Mathematical proofs : a transition to advanced mathematics /

Mostrar otras versiones (1)

Detalles Bibliográficos
Autor principal:	Chartrand, Gary
Otros Autores:	Polimeni, Albert D., 1938-, Zhang, Ping, 1957-
Formato:	Libro
Lenguaje:	English
Publicado:	Boston : Pearson Education, 2013.
Edición:	Third edition
Materias:	Teoría de la prueba.

Ejemplares similares

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

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

Handbook of proof theory /
Publicado: (1998)

Understanding mathematical proof
por: Taylor, John, 1957-
Publicado: (2014)

Handbook of recursive mathematics /
Publicado: (1998)

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

Beginning model theory : the completeness theorem and some consequences
por: Bridge, Jene
Publicado: (1977)

The philosophy of mathematics
por: Hintikka, Jaakko, 1929-
Publicado: (1969)

The infinite in mathematics : logico-mathematical writings
por: Kaufmann, Felix, 1895-1949
Publicado: (1978)

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

The philosophy of mathematics : an introductory essay /
por: Körner, Stephan, 1913-
Publicado: (1986)

Metamathematics, machines, and Gödel's proof /
por: Shankar, N.
Publicado: (1994)

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

Lógica II - prueba
Publicado: (1974)

A shorter model theory
por: Hodges, Wilfrid
Publicado: (1997)

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

Análisis de algoritmos y teoría de grafos
por: Abellanas, M.
Publicado: (1991)

Model Theory
por: Chang, Chen Chung, 1927-
Publicado: (1990)

Principles of mathematics /
por: Russell, Bertrand, 1872-1970
Publicado: (1937)

Constructivism in mathematics : an introduction
por: Troelstra, Anne Sjerp
Publicado: (1988)

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

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

Essays in constructive mathematics
por: Edwards, Harold M.
Publicado: (2005)

What is mathematical logic
Publicado: (1990)

Handbook of mathematical logic
Publicado: (1977)

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

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

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

Una introducción constructiva a la teoría de modelos
por: Sanmartín Esplugues, José
Publicado: (1977)

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

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 essay on the psychology of invention in the mathematical fields
por: Hadamard, Jacques, 1865-1963
Publicado: (1954)

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

Classical recursion theory
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1989)

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

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

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

Introduction graph theory
por: Chartrand, Gary
Publicado: (1985)

Cannot write session to /tmp/vufind_sessions/sess_ti6ieqdhnssglbqjubb5g788rs