「"Logic, Symbolic and mathematical -- Textbooks"」の検索結果 | NDLサーチ

検索結果 22 件

タイトルでまとめる

Mathematical foundations of information sciences : pbk

紙図書

Esfandiar Haghverdi, Indiana University Bloomington, USA, Liugen Zhu, Indiana University Bloomington, USAWorld Scientific[2024]

全国の図書館

件名Logic, Symbolic and mathematical -- Textbooks Set theory -- Textbooks
件名（識別子）Logic, Symbolic and mathematical -- Textbooks Set theory -- Textbooks

Introduction to proofs and proof strategies : pbk.

紙図書

Shay FuchsCambridge University Press2023

全国の図書館

件名Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
件名（識別子）Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

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

紙図書

Scott A. Taylor ; illustrations by Michael ScholzAmerican Mathematical Societyc2023

全国の図書館

件名Logic, Symbolic and mathematical -- Textbooks Set theory -- Textbooks
件名（識別子）Logic, Symbolic and mathematical -- Textbooks Set theory -- Textbooks

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

紙図書

Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich ZapletalWorld Scientificc2022

全国の図書館

件名Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
件名（識別子）Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

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

紙図書

Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich ZapletalWorld Scientific2020

全国の図書館

件名Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
件名（識別子）Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

Advanced mathematics : a transitional reference

紙図書

Stanley J. FarlowWiley2020.

全国の図書館

件名Mathematics -- Textbooks Logic, Symbolic and mathematical -- Textbooks
件名（識別子）Mathematics -- Textbooks Logic, Symbolic and mathematical -- Textbooks

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

紙図書

Lito Perez CruzSpringerc2021

全国の図書館

件名Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks
件名（識別子）Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks

A first journey through logic

紙図書

Martin Hils, François LoeserAmerican Mathematical Societyc2019

全国の図書館

件名Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks
件名（識別子）Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks

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

紙図書

Daniel J. VellemanCambridge University Press2019

全国の図書館

件名Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks Proo...
件名（識別子）Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks Proo...

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

紙図書

MIT Pressc2021

全国の図書館

件名Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Logic, Symbolic and mathemati...
件名（識別子）Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Logic, Symbolic and mathemati...

A bridge to higher mathematics : paperback

紙図書

Valentin Deaconu, Donald C. PfaffCRC Pressc2017

全国の図書館

件名Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks
件名（識別子）Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Mathematics -- Textbooks

The tools of mathematical reasoning

紙図書

Tamara J. LakinsAmerican Mathematical Societyc2016

全国の図書館

件名Mathematical analysis -- Foundations -- Textbooks Logic, Symbolic and mathematical -- Textbooks
件名（識別子）Mathematical analysis -- Foundations -- Textbooks Logic, Symbolic and mathematical -- Textbooks

Proof and the art of mathematics

紙図書

Joel David HamkinsMIT Pressc2020

全国の図書館

件名Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Logic, Symbolic and mathemati...
件名（識別子）Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks Logic, Symbolic and mathemati...

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

紙図書

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

全国の図書館

件名Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
件名（識別子）Proof theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks

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

紙図書

Willem Conradie, Valentin GorankoWiley2015.

全国の図書館

件名Logic, Symbolic and mathematical -- Textbooks Computer science -- Mathemati...
件名（識別子）Logic, Symbolic and mathematical -- Textbooks Computer science -- Mathemati...