Tools

LEADER 01753nam a2200409 i 4500

001 ssj0001562873;

003 WaSeSS;

005 20260512090152.0;

006 m d ;

007 cr n ;

008 150527s2015 quca sb 001 0 fre d;

010 a| 2015376760;

020 a| 9782760542099 (pbk.);

035 a| (WaSeSS)ssj0001562873;

040 a| DLCb| engc| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| BC128b| .B68 2015;

100 1 a| Bouchard, Yves,d| 1963-?| UNAUTHORIZED;

245 10 a| Calcul en logique du premier ordreh| [electronic resource] /c| Yves Bouchard.;

260 a| Qu©♭bec (Qu©♭bec) :b| Presses de l'Universit©♭ du Qu©♭bec,c| 2015.;

300 a| 288 pages :b| illustrations ;c| 24 cm.;

504 a| Includes bibliographical references (pages [279]-283 and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| First-order logic.=| ^A50578;

650 0 a| Propositional calculus.=| ^A62288;

655 0 a| Electronic books.=| ^A491897;

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=32081452;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 6724107;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6724107-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 5/13/2026x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6724107-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 5/13/2026x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6724107-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 5/13/2026x| EBOOKz| JERESOURCE;

Calcul en logique du premier ordre / Yves Bouchard.

Author/creator	Bouchard, Yves, 1963-
Format	Electronic
Publication Info	Qu©♭bec (Qu©♭bec) : Presses de l'Universit©♭ du Qu©♭bec, 2015.
Description	288 pages : illustrations ; 24 cm.
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	First-order logic. Propositional calculus.

Bibliography note	Includes bibliographical references (pages [279]-283 and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2015376760
ISBN	9782760542099 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Calcul en logique du premier ordre / Yves Bouchard.

Click here for more information about this title

Availability