Jump to main content

yr 〜
yr

Search results 14

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
Paper図書
Robert GoldblattAssociation for Symbolic Logic2011
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Topoi : the categorial analysis of logic : pbk Rev. ed

Topoi : the categorial analysis of logic : pbk Rev. ed
Paper図書
Robert GoldblattDover Publications2006
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Advances in modal logic v. 4 : pbk v. 4 : hbk v. 5 : pbk v. 6 : pbk v. 7 : pbk v. 8 : pbk v. 9 : pbk v. 10 : pbk v. 11 : pbk v. 12 : pbk

Advances in modal logic v. 4 : pbk v. 4 : hbk v. 5 : pbk v. 6 : pbk v. 7 : pbk v. 8 : pbk v. 9 : pbk v. 10 : pbk v. 11 : pbk v. 12 : pbk
Paper図書
edited by Philippe Balbiani ... [et al.]King's College Publicationsc2003-
Other Libraries in Japan
  • Author Heading...Areces, Carlos Goldblatt, Robert Beklemishev, Lev Dmitrievich ...

Lectures on the hyperreals : an introduction to nonstandard analysis

Lectures on the hyperreals : an introduction to nonstandard analysis
Paper図書
Robert GoldblattSpringerc1998
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Axiomatising the logic of computer programming / Robert Goldblatt. (Lecture notes in computer science)

Axiomatising the logic of computer programming / Robert Goldblatt. (Lecture notes in computer science)
Paper図書
Springer-Verlag1982.<M159-A39>
National Diet Library
  • Author HeadingGoldblatt, Robert.

Mathematics of modality : pbk

Mathematics of modality : pbk
Paper図書
Robert GoldblattCSLI Publicationsc1993
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Topoi, the categorial analysis of logic / Robert Goldblatt. (Studies in logic and the foundations of mathematics ; v. 98)

Topoi, the categorial analysis of logic / Robert Goldblatt. (Studies in logic and the foundations of mathematics ; v. 98)
Paper図書
North-Holland Pub. Co.1979.<MA41-154>
National Diet Library
  • Author HeadingGoldblatt, Robert.

Logics of time and computation : pbk 2nd ed., rev. and expanded

Logics of time and computation : pbk 2nd ed., rev. and expanded
Paper図書
Robert GoldblattCenter for the Study of Language and Informationc1992
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Orthogonality and spacetime geometry : us : gw

Orthogonality and spacetime geometry : us : gw
Paper図書
Robert GoldblattSpringer-Verlagc1987
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Logics of time and computation pbk.

Logics of time and computation pbk.
Paper図書
Robert GoldblattCenter for the Study of Language and Informationc1987
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Topoi : the categorial analysis of logic Rev. ed

Topoi : the categorial analysis of logic Rev. ed
Paper図書
Robert GoldblattNorth-Holland1984
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Axiomatising the logic of computer programming : gw : us

Axiomatising the logic of computer programming : gw : us
Paper図書
Robert GoldblattSpringer-Verlag1982
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Topoi : the categorial analysis of logic

Topoi : the categorial analysis of logic
Paper図書
Robert GoldblattNorth-Holland Pub. Co1979
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Metamathematics of modal logic

Metamathematics of modal logic
Paper図書
Robert Ian Goldblatt[Victoria University of Wellington]1974
Other Libraries in Japan
  • Author HeadingGoldblatt, Robert

Reached to the end of result.

RSS