Jump to main content

yr 〜
yr

Search results 22

Mathematical foundations of information sciences : pbk

Mathematical foundations of information sciences : pbk
Paper図書
Esfandiar Haghverdi, Indiana University Bloomington, USA, Liugen Zhu, Indiana University Bloomington, USAWorld Scientific[2024]
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Textbooks Set theory -- Textbooks
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Textbooks Set theory -- Textbooks

Introduction to proofs and proof strategies : pbk.

Introduction to proofs and proof strategies : pbk.
Paper図書
Shay FuchsCambridge University Press2023
Other Libraries in Japan
  • Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
  • Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

Introduction to mathematics : number, space, and structure : pbk

Introduction to mathematics : number, space, and structure : pbk
Paper図書
Scott A. Taylor ; illustrations by Michael ScholzAmerican Mathematical Societyc2023
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Textbooks Set theory -- Textbooks
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Textbooks Set theory -- Textbooks

Set theory and foundations of mathematics : an introduction to mathematical logic v. 2

Set theory and foundations of mathematics : an introduction to mathematical logic v. 2
Paper図書
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich ZapletalWorld Scientificc2022
Other Libraries in Japan
  • Subject HeadingSet theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
  • Subject Heading (ID)Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

Set theory and foundations of mathematics : an introduction to mathematical logic v. 1

Set theory and foundations of mathematics : an introduction to mathematical logic v. 1
Paper図書
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich ZapletalWorld Scientific2020
Other Libraries in Japan
  • Subject HeadingSet theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
  • Subject Heading (ID)Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

Advanced mathematics : a transitional reference

Advanced mathematics : a transitional reference
Paper図書
Stanley J. FarlowWiley2020.
Other Libraries in Japan
  • Subject HeadingMathematics -- Textbooks Logic, Symbolic and mathematical -- Textbooks
  • Subject Heading (ID)Mathematics -- Textbooks Logic, Symbolic and mathematical -- Textbooks

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

Theoremus : a student's guide to mathematical proofs : pbk
Paper図書
Lito Perez CruzSpringerc2021
Other Libraries in Japan
  • Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks
  • Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks

A first journey through logic

A first journey through logic
Paper図書
Martin Hils, François LoeserAmerican Mathematical Societyc2019
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks

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

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 Proo...
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks Proo...

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

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 mathematical -- Textbooks Logic, Symbolic and mathemati...
  • Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Logic, Symbolic and mathemati...

A bridge to higher mathematics : paperback

A bridge to higher mathematics : paperback
Paper図書
Valentin Deaconu, Donald C. PfaffCRC Pressc2017
Other Libraries in Japan
  • Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks
  • Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks

The tools of mathematical reasoning

The tools of mathematical reasoning
Paper図書
Tamara J. LakinsAmerican Mathematical Societyc2016
Other Libraries in Japan
  • Subject HeadingMathematical analysis -- Foundations -- Textbooks Logic, Symbolic and mathematical -- Textbooks
  • Subject Heading (ID)Mathematical analysis -- Foundations -- Textbooks Logic, Symbolic and mathematical -- Textbooks

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

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 mathematical -- Textbooks
  • Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

Proof and the art of mathematics

Proof and the art of mathematics
Paper図書
Joel David HamkinsMIT Pressc2020
Other Libraries in Japan
  • Subject HeadingProof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Logic, Symbolic and mathemati...
  • Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Logic, Symbolic and mathemati...

Logic and discrete mathematics : a concise introduction : pbk Solutions manual : [pbk.]

Logic and discrete mathematics : a concise introduction : pbk Solutions manual : [pbk.]
Paper図書
Willem Conradie, Valentin GorankoWiley2015.
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Textbooks Computer science -- Mathemati...
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Textbooks Computer science -- Mathemati...

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

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 mathematical -- Textbooks
  • Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

Introduction to mathematical proofs : a transition

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 mathematical -- Textbooks
  • Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

Mathematical logic

Mathematical logic
Paper図書
George TourlakisWileyc2008
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Textbooks
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Textbooks

Formal logic : a philosophical approach

Formal logic : a philosophical approach
Paper図書
Paul Hoyningen-Huene ; translated by Alex LevineUniversity of Pittsburgh Pressc2004
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Textbooks
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Textbooks

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

How to read and do proofs : an introduction to mathematical thought processes : pbk 5th ed
Paper図書
Daniel SolowWileyc2010
Other Libraries in Japan
RSS