Jump to main content

yr 〜
yr

Search results 19

First-order modal logic 2nd ed

First-order modal logic 2nd ed
Paper図書
Melvin Fitting, Richard L. MendelsohnSpringerc2023
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris Mendelsohn, Richard L.

Justification logic : reasoning with reasons : hardback

Justification logic : reasoning with reasons : hardback
Paper図書
Sergei Artemov, Melvin FittingCambridge University Press2019
Other Libraries in Japan
  • Author HeadingArtemov, S. N. Fitting, Melvin Chris

Set theory and the continuum problem : pbk [Rev. ed]

Set theory and the continuum problem : pbk [Rev. ed]
Paper図書
Raymond M. Smullyan, Melvin FittingDover Publicationsc2010
Other Libraries in Japan
  • Author HeadingSmullyan, Raymond M. Fitting, Melvin Chris

Types, tableaus, and Gödel's god

Types, tableaus, and Gödel's god
Paper図書
Melvin FittingKluwer Academicc2002
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris

Beyond two : theory and applications of multiple valued logic

Beyond two : theory and applications of multiple valued logic
Paper図書
Melvin Fitting, Ewa Orłowska, editorsPhysicac2003
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris Orlowska, Ewa

First-order modal logic : pbk

First-order modal logic : pbk
Paper図書
Melvin Fitting and Richard L. MendelsohnKluwer Academicc1999
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris Mendelsohn, Richard L.

First-order modal logic

First-order modal logic
Paper図書
Melvin Fitting and Richard L. MendelsohnKluwer Academicc1998
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris Mendelsohn, Richard L.

First-order logic and automated theorem proving : pbk. 2nd ed

First-order logic and automated theorem proving : pbk. 2nd ed
Paper図書
Melvin FittingSpringer-Verlagc1996
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris

Set theory and the continuum problem

Set theory and the continuum problem
Paper図書
Raymond M. Smullyan and Melvin FittingClarendon Press1996
Other Libraries in Japan
  • Author HeadingSmullyan, Raymond M. Fitting, Melvin Chris

First-order logic and automated theorem proving : us : gw

First-order logic and automated theorem proving : us : gw
Paper図書
Melvin FittingSpringer-Verlagc1990
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris

Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming
Paper図書
Melvin FittingOxford University Press1987
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris

Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics
Paper図書
Melvin FittingD. Reidelc1983
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris

Fundamentals of generalized recursion theory

Fundamentals of generalized recursion theory
Paper図書
Melvin FittingNorth-Holland Pub. Co.c1981
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris

Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing
Paper図書
M.C. FittingUT Back-in-Print Servicec1969
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris

Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing
Paper図書
Melvin Chris FittingUniversity Microfilmsc1968
Other Libraries in Japan
  • Author HeadingFitting, Melvin Chris

計算理論と論理プログラミング

計算理論と論理プログラミング
PaperDigital図書
Melvin Fitting [著], 山崎秀記 [ほか]共訳丸善1989.8<MA41-E27>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Fitting, Melvin Chris 山崎, 秀記

Proof methods for modal and intuitionistic logics / Melvin Fitting. (Synthese library ; v. 169)

Proof methods for modal and intuitionistic logics / Melvin Fitting. (Synthese library ; v. 169)
Paper図書
D. Reidelc1983.<MA41-A44>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Fitting, Melvin Chris

Fundamentals of generalized recursion theory / Melvin Fitting. (Studies in logic and the foundations of mathematics ; v. 105)

Fundamentals of generalized recursion theory / Melvin Fitting. (Studies in logic and the foundations of mathematics ; v. 105)
Paper図書
North-Holland Pub. Co.c1981.<MA41-194>
National Diet Library
  • Authority（Author Heading/altLabel）Fitting, Melvin Chris

Intuitionistic logic, model theory and forcing. (Studies in logic and the foundation of mathematics)

Intuitionistic logic, model theory and forcing. (Studies in logic and the foundation of mathematics)
Paper図書
North-Holland Pub. Co.1969.<MA41-25>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Fitting, Melvin Chris

Reached to the end of result.

RSS