Adobe PDF (323.58 kB)
Title Details:
Hilbert system
Authors: Koletsos, Georgios
Reviewer: Dimitrakopoulos, Konstantinos
Subject: HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC
HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC > LOGIC AND PHILOSOPHY OF LOGIC, MISCELLANEOUS > DEDUCTIVE LOGIC
MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > MATHEMATICAL LOGIC AND FOUNDATIONS
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE
Keywords:
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Description:
Linguistic Editors: Toulatou, Dimitra
Technical Editors: Ksystra, Aikaterini
Type: Chapter
Creation Date: 2015
Item Details:
License: http://creativecommons.org/licenses/by-nc-nd/3.0/gr
Handle http://hdl.handle.net/11419/2309
Bibliographic Reference: Koletsos, G. (2015). Hilbert system [Chapter]. In Koletsos, G. 2015. Μαθηματική λογική [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/2309
Language: Greek
Is Part of: Μαθηματική λογική
Publication Origin: Kallipos, Open Academic Editions