Jump to main content

yr 〜
yr

Search results 52

数理論理学とタイプ理論 : 証明による真理へ

数理論理学とタイプ理論 : 証明による真理へ
PaperDigital図書
Peter B.Andrews 著, 小川原倫子 訳丸善1987.12<MA41-E4>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: An introduction to mathematical logic and type theory
  • Additional TitleAn introduction to mathematical logic and type theory

Introduction to mathematical logic. (Princeton mathematical series, 17)

Introduction to mathematical logic. (Princeton mathematical series, 17)
Paper図書
Princeton University Press1956-<164-C561i>
National Diet LibraryOther Libraries in Japan
  • Note (General)...ged edition of Introduction to mathematical logic ... which was published in 19...

Introduction to mathematical logic Extended ed.

Introduction to mathematical logic Extended ed.
Paper図書
Michał WalickiWorld Scientificc2017
Other Libraries in Japan

Introduction to mathematical logic 6th ed

Introduction to mathematical logic 6th ed
Paper図書
Elliott MendelsonCRC Pressc2015
Other Libraries in Japan

Introduction to mathematical logic : pbk : [hardback]

Introduction to mathematical logic : pbk : [hardback]
Paper図書
Michał WalickiWorld Scientificc2012
Other Libraries in Japan

Introduction to mathematical logic : hard 5th ed

Introduction to mathematical logic : hard 5th ed
Paper図書
Elliott MendelsonChapman & Hall/CRCc2010
Other Libraries in Japan

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

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

A friendly introduction to mathematical logic 2nd ed

A friendly introduction to mathematical logic 2nd ed
Paper図書
Christopher C. Leary, Lars KristiansenMilne Library, SUNY Geneseoc2015
Other Libraries in Japan

Introduction to mathematical logic 4th ed

Introduction to mathematical logic 4th ed
Paper図書
Elliott MendelsonChapman & Hall/CRC2001
Other Libraries in Japan

An introduction to mathematical logic

An introduction to mathematical logic
Paper図書
Richard E. HodelDover Publications2013, c1995
Other Libraries in Japan

Introduction to mathematical logic 4th ed

Introduction to mathematical logic 4th ed
Paper図書
Elliott MendelsonChapman & Hall1997
Other Libraries in Japan

A concise introduction to mathematical logic : pbk 3rd ed

A concise introduction to mathematical logic : pbk 3rd ed
Paper図書
Wolfgang RautenbergSpringerc2010
Other Libraries in Japan

Introduction to mathematical logic : pbk

Introduction to mathematical logic : pbk
Paper図書
by Alonzo ChurchPrinceton University Press1996
Other Libraries in Japan

A concise introduction to mathematical logic : pbk 2nd ed

A concise introduction to mathematical logic : pbk 2nd ed
Paper図書
Wolfgang RautenbergSpringerc2006
Other Libraries in Japan

An introduction to mathematical logic and type theory : to truth through proof 2nd ed.

An introduction to mathematical logic and type theory : to truth through proof 2nd ed.
Paper図書
Peter B. AndrewsKluwer Academicc2002
Other Libraries in Japan

Introduction to mathematical logic 3rd ed

Introduction to mathematical logic 3rd ed
Paper図書
Elliott MendelsonWadsworth & Brooks/Cole Advanced Books & Softwarec1987
Other Libraries in Japan

Introduction to mathematical logic 3rd ed

Introduction to mathematical logic 3rd ed
Paper図書
Elliott MendelsonChapman & Hallc1987
Other Libraries in Japan

A friendly introduction to mathematical logic

A friendly introduction to mathematical logic
Paper図書
Christopher C. LearyPrentice Hallc2000
Other Libraries in Japan

An introduction to mathematical logic

An introduction to mathematical logic
Paper図書
Richard E. HodelPWS Pub. Co.c1995
Other Libraries in Japan
RSS