Core Logic

Autor
An publicare
2017
Nr. Pagini
384
ISBN
9780198777892

Descriere

Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.

Despre autor

Neil Tennant
filosof american · n. 1950

Neil Tennant este un filosof american. Este profesor distinș de filosofie în domeniul Artelor și Științelor Umane la Universitatea de Stat din Ohio; înainte de a ocupa această funcție la Universitatea de Stat din Ohio, a deținut posturi la Universitatea din Edinburgh, la Universitatea Stirling și la Universitatea Națională Australiană.

Pe aceeași temă