Gödel numbering

#	Item
1	First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:57 Logic Mathematical logic Abstraction Model theory Non-classical logic Logic in computer science Predicate logic First-order logic Boolean satisfiability problem Gdel numbering Many-valued logic Kripke semantics
2	I944Î BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:40:41 Lambda calculus Theory of computation Computability theory Logic in computer science Mathematical logic Combinatory logic Function Well-formed formula Gödel numbering Mathematics Theoretical computer science Logic