Jump to main content

yr 〜
yr

Search results 5

The algebra of intensional logics

The algebra of intensional logics
Paper図書
J. Michael Dunn ; with an introductory essay by Katalin BimbóCollege Publicationsc2019
Other Libraries in Japan
  • Author HeadingDunn, J. Michael Bimbó, Katalin

J. Michael Dunn on information based logics

J. Michael Dunn on information based logics
Paper図書
edited by Katalin BimbóSpringerc2016
Other Libraries in Japan
  • Author HeadingBimbó, Katalin

Proof theory : sequent calculi and related formalisms : hardback

Proof theory : sequent calculi and related formalisms : hardback
Paper図書
Katalin BimbóCRC Pressc2015
Other Libraries in Japan
  • Author HeadingBimbó, Katalin

Combinatory logic : pure, applied and typed : hardback

Combinatory logic : pure, applied and typed : hardback
Paper図書
Katalin BimbóCRC Press, Taylor & Francis Group : Chapman & Hall Bookc2012
Other Libraries in Japan
  • Author HeadingBimbó, Katalin

Generalized Galois logics : relational semantics of nonclassical logical calculi : pbk : cloth

Generalized Galois logics : relational semantics of nonclassical logical calculi : pbk : cloth
Paper図書
[by] Katalin Bimbó and J. Michael DunnCenter for the Study of Language and Information, Leland Stanford Junior Universityc2008
Other Libraries in Japan
  • Author HeadingBimbó, Katalin Dunn, Jon Michael

Reached to the end of result.

RSS