Ebook: Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)
Author: Takeuti Gaisi
- Genre: Mathematics // Logic
- Tags: PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK), AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK), PREDICATE LOGIC (MATHEMATICAL LOGIC), LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE), DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE), AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
- Series: Studies in logic and the foundations of mathematics 81
- Year: 1987
- Publisher: North Holland
- City: Amsterdam etc
- Edition: Ed. 2
- Language: English
- djvu
Download the book Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968) for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)