Normale Ansicht MARC ISBD

Cantini, Andrea

Logical frameworks for truth and abstraction an axiomatic study Andrea Cantini - XII, 461 S. graph. Darst. - Studies in logic and the foundations of mathematics 135 . - 135 . - Studies in logic and the foundations of mathematics 135 .

Literaturverz. S. [425] - 440

Cantini, Andrea: Logical frameworks for truth and abstraction Cantini, Andrea: Logical frameworks for truth and abstraction

ISBN: 0444823069

Patent No.: 19365895X

Nat. Bib. Agency Control No.: 312471051 US-OCoLC ZBM0860.03015

Subjects--Topical Terms:
Logic, Symbolic and mathematical
Truth
Logic, Symbolic and mathematical
Truth

Subjects--Index Terms:

LC Class. No.: QA9