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

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

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

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

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

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

Orthogonality and spacetime geometry : us : gw

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

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

Topoi : the categorial analysis of logic Rev. ed

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

Axiomatising the logic of computer programming : gw : us

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

Topoi : the categorial analysis of logic

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

Metamathematics of modal logic

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

Reached to the end of result.

RSS