A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A - Logical Frameworks for Truth and Abstraction - An Axiomatic Study

Sois le premier à donner ton avis!

Fr. 169.00

A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A

Logical Frameworks for Truth and Abstraction - An Axiomatic Study

Anglais · Livre Relié

Expédition généralement dans un délai de 1 à 3 semaines (ne peut pas être livré de suite)

Description

En savoir plus

Zusammenfassung Covers logical systems known as type-free or self-referential. This book shows that there are theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics.

Détails du produit

Auteurs A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A
Edition ELSEVIER SCIENCE BV
 
Langues Anglais
Format d'édition Livre Relié
Sortie 01.03.1996
 
EAN 9780444823069
ISBN 978-0-444-82306-9
Pages 460
Thème Studies in Logic and the Foundations of Mathematics
Catégories Sciences humaines, art, musique > Linguistique et littérature > Linguistique générale et comparée
Sciences naturelles, médecine, informatique, technique > Mathématiques > Autres

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.