Search results for "Proof theory -- Textbooks" | NDL Search

Search results 22

Group by title

A bridge to higher mathematics

Paper図書

authored by James R. Kirkwood and Raina S. RobevaCRC Press2024

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks
Subject Heading (ID)Proof theory -- Textbooks

Transition to proofs :pbk

Paper図書

Simon Rubinstein-SalzedoWorld Scientificc2023

Other Libraries in Japan

Subject HeadingNumber theory -- Textbooks Proof theory -- Textbooks
Subject Heading (ID)Number theory -- Textbooks Proof theory -- Textbooks

Introduction to proofs and proof strategies : pbk.

Paper図書

Shay FuchsCambridge University Press2023

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathemati...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathemati...

An introduction to mathematical proofs

Paper図書

Nicholas A LoehrCRC Press2020

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks
Subject Heading (ID)Proof theory -- Textbooks

Mathematical proofs : a transition to advanced mathematics 4th ed

Paper図書

Gary Chartrand, Albert D. Polimeni, Ping ZhangPearsonc2018

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks
Subject Heading (ID)Proof theory -- Textbooks

Theoremus : a student's guide to mathematical proofs : pbk

Paper図書

Lito Perez CruzSpringerc2021

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathemati...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathemati...

Transition to analysis with proof : pbk

Paper図書

Steven G. KrantzCRC Pressc2018

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Mathematical analysis -- Text...
Subject Heading (ID)Proof theory -- Textbooks Mathematical analysis -- Text...

How to prove it : a structured approach : pbk 3rd ed

Paper図書

Daniel J. VellemanCambridge University Press2019

Other Libraries in Japan

Subject HeadingLogic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks Proof theory -- Textbooks
Subject Heading (ID)Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks Proof theory -- Textbooks

Proof and the art of mathematics : examples and extensions/ Joel David Hamkins

Paper図書

MIT Pressc2021

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathemati...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathemati...

A bridge to higher mathematics : paperback

Paper図書

Valentin Deaconu, Donald C. PfaffCRC Pressc2017

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathemati...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathemati...

Mathematical proofs : a transition to advanced mathematics 3rd ed

Paper図書

Gary Chartrand, Albert D. Polimeni, Ping ZhangPearson Educationc2013

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks
Subject Heading (ID)Proof theory -- Textbooks

Proof and the art of mathematics

Paper図書

Joel David HamkinsMIT Pressc2020

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathemati...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathemati...

Introduction to mathematical proofs : a transition to advanced mathematics : hardback 2nd ed

Paper図書

Charles E. Roberts, JrCRC Press, Taylor & Francis : Chapman & Hall Bookc2015

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathemati...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathemati...

An introduction to proof through real analysis

Paper図書

Daniel J. Madden and Jason A. AubreyWiley2017

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Functions of real variables -...
Subject Heading (ID)Proof theory -- Textbooks Functions of real variables -...

How to read and do proofs : an introduction to mathematical thought processes : pbk 6th ed

Paper図書

Daniel SolowJohn Wiley & Sonsc2014

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathemati...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathemati...

Book of proof

Paper図書

Richard HammackDept. of Mathematics & Applied Mathematics, Virginia Commonwealth Universityc2009

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks
Subject Heading (ID)Proof theory -- Textbooks

Mathematical proofs : a transition to advanced mathematics : pbk 2nd ed., Pearson international ed

Paper図書

Gary Chartrand, Albert D. Polimeni, Ping ZhangPearson/Addison Wesleyc2008

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks
Subject Heading (ID)Proof theory -- Textbooks

Mathematical proofs : a transition to advanced mathematics 2nd ed

Paper図書

Gary Chartrand, Albert D. Polimeni, Ping ZhangPearson/Addison Wesleyc2008

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks
Subject Heading (ID)Proof theory -- Textbooks

Introduction to mathematical proofs : a transition

Paper図書

Charles E. Roberts, Jr.Chapman & Hall/CRCc2010

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathemati...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathemati...

How to read and do proofs : an introduction to mathematical thought processes : pbk 5th ed

Paper図書

Daniel SolowWileyc2010

Other Libraries in Japan

Subject HeadingProof theory -- Textbooks Logic, Symbolical and mathema...
Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolical and mathema...

RSS