Jump to main content

yr 〜
yr

Search results 3

Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini. (Studies in logic and the foundations of mathematics ; v. 135)

Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini. (Studies in logic and the foundations of mathematics ; v. 135)
Paper図書
Elsevier Science B.V.1996.<MA41-A102>
National Diet Library
  • Author HeadingCantini, Andrea.

Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
Paper図書
edited by Andrea Cantini, Ettore Casari, Pierluigi MinariKluwer Academicc1999
Other Libraries in Japan
  • Author Heading...phy of Science Cantini, Andrea Casari, Ettore Minari, Pierlu...

Logical frameworks for truth and abstraction : an axiomatic study

Logical frameworks for truth and abstraction : an axiomatic study
Paper図書
Andrea CantiniElsevier Science B.V.1996
Other Libraries in Japan
  • Author HeadingCantini, Andrea

Reached to the end of result.

RSS