Re: really basic problem with universal quantifier, free variablesand generalisation.
- From: Frederick Williams <"Frederick Williams"@antispamhotmail.co.uk.invalid>
- Date: Fri, 13 Jul 2007 12:19:43 GMT
"J. Burse" wrote:
.... Here is a reference:
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang:
Einführung in die mathematische Logik. 4.
Aufl. ? Heidelberg 1996.
Is
http://www.springer.com/uk/home/generic/search/results?SGWID=3-40109-22-1257443-0
the English version?
--
Remove "antispam" and ".invalid" for e-mail address.
"He that giveth to the poor lendeth to the Lord, and shall be repaid,"
said Mrs Fairchild, hastily slipping a shilling into the poor woman's
hand.
.
- Follow-Ups:
- References:
- Re: really basic problem with universal quantifier, free variables and generalisation.
- From: Frederick Williams
- Re: really basic problem with universal quantifier, free variables and generalisation.
- From: Peter_Smith
- Re: really basic problem with universal quantifier, free variables and generalisation.
- From: J. Burse
- Re: really basic problem with universal quantifier, free variables and generalisation.
- Prev by Date: Re: really basic problem with universal quantifier, free variables and generalisation.
- Next by Date: Re: really basic problem with universal quantifier, free variables and generalisation.
- Previous by thread: Re: really basic problem with universal quantifier, free variables and generalisation.
- Next by thread: Re: really basic problem with universal quantifier, free variablesand generalisation.
- Index(es):
Relevant Pages
|