Normal view MARC view ISBD view

Tableau systems for first order number theory and certain higher order theories / Sue Toledo

Auteur principal : Toledo, Sue Ann, 1940-, AuteurType de document : MonographieCollection : Lecture notes in mathematics, 447Langue : anglais.Pays : Allemagne.Éditeur : Berlin : Springer-Verlag, 1975Description : 1 vol. (339 p.) ; 24 cmISBN : 9783540071495.ISSN : 0075-8434.Bibliographie : Bibliogr. p. 335-339.Sujet MSC : 03Fxx, Mathematical logic and foundations, Proof theory and constructive mathematics
03B15, Mathematical logic and foundations -- General logic, Higher-order logic and type theory
03C60, Mathematical logic and foundations -- Model theory, Model-theoretic algebra
En-ligne : sur Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 TOL (Browse shelf) Available 05389-01

Bibliogr. p. 335-339

There are no comments for this item.

Log in to your account to post a comment.