Semantical investigations in Heyting's intuitionistic logic. Gabbay, D. M Volume 148 , Springer Science & Business Media, 2013.
bibtex   
@Book{Gabbay2013,
		  title     = {Semantical investigations in Heyting's intuitionistic logic},
		    publisher = {Springer Science \& Business Media},
			  year      = {2013},
			    author    = {Gabbay, Dov M},
				  volume    = {148},
}

Downloads: 0