Search Results for Proof theory -- Textbooks.

5 sonuç bulundu

00000DEFAULT_TR

Taking the "oof!" out of proofs

Yazar

Draganov, Alexandr, author.

Yer Numarası

QA9.54

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003456766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

A bridge to higher mathematics

Yazar

Kirkwood, James R., author. Robeva, Raina S., author.

Yer Numarası

QA9.54

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032623849
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

An introduction to proof through real analysis

Yazar

Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.

Yer Numarası

QA9.54 .M335 2017

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Introduction to mathematical proofs

Yazar

Roberts, Charles, author. Taylor and Francis.

Yer Numarası

QA9.54

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Theorems, corollaries, lemmas, and methods of proof

Yazar

Rossi, Richard J., 1956-

Yer Numarası

ONLINE

Elektronik Erişim

Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118031575
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html
http://site.ebrary.com/lib/alltitles/Doc?id=10503020

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}