Jump to main content

yr 〜
yr

Search results 4

Advances in modal logic v. 13 : pbk

Advances in modal logic v. 13 : pbk
Paper図書
edited by Nicola Olivetti ... [et al.]College Publicationsc2020
Other Libraries in Japan
  • Author HeadingOlivetti, Nicola Verbrugge, Rineke Negri, Sara Sandu, Gabriel

Mathesis universalis, computability and proof

Mathesis universalis, computability and proof
Paper図書
Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster, editorsSpringerc2019
Other Libraries in Japan
  • Author HeadingCentrone, Stefania Negri, Sara Sarikaya, Deniz Schuster, Pet...

Proof analysis : a contribution to Hilbert's last problem : hardback : paperback

Proof analysis : a contribution to Hilbert's last problem : hardback : paperback
Paper図書
Sara Negri, Jan von PlatoCambridge University Press2011
Other Libraries in Japan
  • Author HeadingNegri, Sara Von Plato, Jan

Structural proof theory pbk

Structural proof theory pbk
Paper図書
Sara Negri, Jan von Plato ; with an appendix by Aarne RantaCambridge University Press2001
Other Libraries in Japan
  • Author HeadingNegri, Sara Von Plato, Jan Ranta, Aarne

Reached to the end of result.

RSS