Data Buku Logical Framework Books

Author(s)	Title	Publisher	Year
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)	Lecture Notes in Computer Science 4350	Springer-Verlag Berlin Heidelberg	2007
	All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic [1 ed.]
	3540719407, 9783540719403
Gèrard Huet, Gordon Plotkin	Logical frameworks	Cambridge University Press	1991
	0521413001, 9780521413008
Gerard Huet, G. Plotkin (editors)	Logical Frameworks	CUP	1991
	0521413001, 9780521413008
Andrea Cantini	Studies in Logic and the Foundations of Mathematics 135	Elsevier	1996
	Logical Frameworks for Truth and Abstraction: An Axiomatic Study
	0444823069, 9780444823069, 9780080535586