A transition to abstract mathematics : mathematical thinking and writing

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Maddox, Randall B. (Autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Burlington : Academic Press/Elsevier, 2009
Žánr/forma:	učebnice vysokých škol
ISBN:	978-0-12-374480-7
Témata:	matematika algebra matematická analýza matematická logika teorie důkazů
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Obálka

Podobné jednotky

A transition to proof : an introduction to advanced mathematics
Autor: Nicholson, Neil R.
Vydáno: (2019)

Proof and the art of mathematics
Autor: Hamkins, Joel David
Vydáno: (2020)

Proof and the art of mathematics : examples and extensions
Autor: Hamkins, Joel David
Vydáno: (2021)

The nuts and bolts of proofs : an introduction to mathematical proofs
Autor: Cupillari, Antonella, 1955-
Vydáno: (2013)

Book of proof
Autor: Hammack, Richard H., 1960-
Vydáno: (2018)

Introduction to proofs and proof strategies
Autor: Fuchs, Shay
Vydáno: (2023)

Writing proofs in analysis
Autor: Kane, Jonathan Michael
Vydáno: (2016)

On the shape of mathematical arguments
Autor: Gasteren, Antonetta Johanna Maria, van, 1952-2002
Vydáno: (1990)

How to prove it : a structured approach
Autor: Velleman, Daniel J.
Vydáno: (2019)

A bridge to higher mathematics
Autor: Deaconu, Valentin
Vydáno: (2017)

Building proofs : a practical guide
Autor: Oliveira, Suely
Vydáno: (2015)

Proof theory : an introduction
Autor: Pohlers, Wolfram
Vydáno: (1989)

Proof theory : sequent calculi and related formalisms
Autor: Bimbó, Katalin, 1963-
Vydáno: (2015)

Teorija dokazateľstv
Autor: Takeuti, Gaisi, 1926-2017
Vydáno: (1978)

Proof theory
Autor: Takeuti, Gaisi, 1926-2017
Vydáno: (1987)

The meaning of proofs : mathematics as storytelling
Autor: Lolli, Gabriele, 1942-
Vydáno: (2022)

Proof complexity
Autor: Krajíček, Jan, 1960-
Vydáno: (2019)

Bounded arithmetic, propositional logic, and complexity theory
Autor: Krajíček, Jan, 1960-
Vydáno: (1995)

Matematické důkazy
Autor: Thiele, Rüdiger, 1945-
Vydáno: (1986)

Matematické důkazy
Autor: Thiele, Rüdiger, 1945-
Vydáno: (1985)

Introduction to proof through number theory
Autor: Chow, Bennett
Vydáno: (2023)

Modern mathematical logic
Autor: Mileti, Joseph, 1978-
Vydáno: (2023)

Q.E.D. : krása matematického důkazu
Autor: Polster, Burkard, 1965-
Vydáno: (2014)

Mathematical logic : a course with exercises.
Autor: Cori, René
Vydáno: (2000)

Lectures on the Curry-Howard isomorphism
Autor: Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968-
Vydáno: (2006)

A concise introduction to pure mathematics
Autor: Liebeck, M. W. (Martin W.), 1954-
Vydáno: (2016)

Introduction to mathematical logic
Autor: Mendelson, Elliott, 1931-
Vydáno: (2015)

The foundations of mathematics
Autor: Stewart, Ian, 1945-
Vydáno: (2015)

A friendly introduction to mathematical logic
Autor: Leary, Christopher C., 1957-
Vydáno: (2015)

Archive for mathematical logic
Vydáno: (1988)

Logic of mathematics : a modern course of classical logic
Autor: Adamowicz, Zofia
Vydáno: (1997)

A concise introduction to mathematical logic
Autor: Rautenberg, Wolfgang
Vydáno: (2010)

Introduction to mathematical structures and proofs
Autor: Gerstein, Larry J.
Vydáno: (1996)

Matematičeskaja logika
Autor: Jeršov, Jurij Leonidovič, 1940-
Vydáno: (1987)

Model theory
Autor: Zhang, Zhenzhong, 1927-
Vydáno: (2012)

Mathematized humanities via humanized mathematics
Autor: Polák, Václav, 1932-1994
Vydáno: (1992)

Mathematical logic : a course with exercises.
Autor: Cori, René
Vydáno: (2001)

Reports on mathematical logic.
Vydáno: (1999)

Reports on mathematical logic.
Vydáno: (2000)

Mathematical logic
Autor: Demlová, Marie, 1949-
Vydáno: (1999)