"Logic, Symbolic and... | Search Results

Showing 1 - 20 of 229 query time: 0.11s

Covers List

Hide Covers

1) Logical reasoning: a first course

Author:

Nederpelt, R. P. (Rob P.)

Series:

Texts in computing volume 3

Publisher:

King's College Publications

Pub. Date:

2007

Edition:

Rev. ed

Book
Show Edition

CCU Circulating Books (off-campus)

QA 9 .A1 N 2004

Pub. Date	Edition	Publisher	Physical Desc.	Availability
2007	Rev. ed	King's College Publications	xvi, 380 pages ; 23 cm.	On Shelf CCU Circulating Books (off-campus) QA 9 .A1 N 2004	More Info Place Hold

2) Logical dynamics of information and interaction

Author:

Benthem, J. F. A. K. van, 1949-

Publisher:

Cambridge University Press

Pub. Date:

2011

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
2011	Ebrary (CCU)	Cambridge University Press	xi, 373 p.	Available Online Ebrary (CCU)	More Info Access Online

Description:

Click to view

"This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences...

3) Sets, functions, measures: Volume 1, Fundamentals of set and number theory

Author:

Rodionov, Timofey V.

Series:

De Gruyter studies in mathematics volume Volume 68/1

Publisher:

De Gruyter

Pub. Date:

2018

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
2018	Ebrary (CCU)	De Gruyter	1 online resource (448 pages) : illustrations.	Available Online Ebrary (CCU)	More Info Access Online

4) Formal logic: a philosophical approach

Author:

Hoyningen-Huene, Paul, 1946-

Series:

University of Pittsburgh Digital Collections
University of Pittsburgh Digital Editions

Publisher:

University of Pittsburgh Press

Pub. Date:

Varies, see individual formats and editions

Edition:

Not Supplied

Formats:

Ebrary (CCU) eBook, Ebsco (CCU) eBook

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
[2004]	Ebrary (CCU)	University of Pittsburgh Press	1 online resource (269 pages) : illustrations	Available Online Ebrary (CCU)	More Info Access Online

Ebsco (CCU) eBook
Show Edition

Ebsco (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
©2004	Ebsco (CCU)	University of Pittsburgh Press	1 online resource (272 pages) : illustrations	Available Online Ebsco (CCU)	More Info Access Online

Description:

Click to view

Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is often presented as an indulgent collection of musings on issues for which technical solutions have long since been devised. What has been missing until now is an attempt to unite the motives underlying both approaches. Paul Hoyningen-Huene's Formal Logic...

5) Mathematical Logic

Author:

Ebbinghaus, H. -D

Series:

Undergraduate texts in mathematics

Publisher:

Springer Science+Business Media, LLC

Pub. Date:

1994

Edition:

Second edition

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Edition	Publisher	Content Desc.	Availability
1994	Ebrary (CCU)	Second edition	Springer Science+Business Media, LLC	1 online resource (289 pages) : illustrations.	Available Online Ebrary (CCU)	More Info Access Online

6) An examination of a decision procedure

Author:

Oglesby, Francis C.

Series:

Memoirs of the American Mathematical Society volume no. 44

Publisher:

American Mathematical Society

Pub. Date:

1962

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
1962	Ebrary (CCU)	American Mathematical Society	1 online resource (152 pages).	Available Online Ebrary (CCU)	More Info Access Online

7) Principles of truth

Publisher:

Ontos verlag

Pub. Date:

2003

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
2003	Ebrary (CCU)	Ontos verlag	1 online resource (248 pages) : illustrations.	Available Online Ebrary (CCU)	More Info Access Online

8) Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011

Publisher:

World Scientific Pub. Co

Pub. Date:

2013

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
2013	Ebrary (CCU)	World Scientific Pub. Co	viii, 337 p. : ill.	Available Online Ebrary (CCU)	More Info Access Online

9) Methods and applications of mathematical logic: proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

Series:

Contemporary mathematics volume 69

Publisher:

American Mathematical Society

Pub. Date:

[1988]

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
[1988]	Ebrary (CCU)	American Mathematical Society	1 online resource (264 pages) : illustrations.	Available Online Ebrary (CCU)	More Info Access Online

10) Advances in logic: the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

Series:

Contemporary mathematics volume 425

Publisher:

American Mathematical Society

Pub. Date:

[2007]

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
[2007]	Ebrary (CCU)	American Mathematical Society	1 online resource (162 pages) : illustrations.	Available Online Ebrary (CCU)	More Info Access Online

11) A tour through mathematical logic

Author:

Wolf, Robert S.

Series:

Carus mathematical monographs volume no. 30

Publisher:

Mathematical Association of America

Pub. Date:

c2005

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
c2005	Ebrary (CCU)	Mathematical Association of America	xv, 397 p. : ill.	Available Online Ebrary (CCU)	More Info Access Online

12) Realizability: an introduction to its categorical side

Author:

Oosten, Jaap van

Series:

Studies in logic and the foundations of mathematics volume 152

Publisher:

Elsevier

Pub. Date:

2008

Edition:

1st ed

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Edition	Publisher	Content Desc.	Availability
2008	Ebrary (CCU)	1st ed	Elsevier	xvi, 310 p.	Available Online Ebrary (CCU)	More Info Access Online

Description:

Click to view

Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph. D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability...

13) Logique arithmétique: L'arithmétisation de la logique

Author:

Gauthier, Yvon

Series:

Collection Logique de la science

Publisher:

Presses de l'Universite du Laval

Pub. Date:

2010

Edition:

Not Supplied

Ebrary (CCU) eBook
Show Edition

Ebrary (CCU)

Pub. Date	Source	Publisher	Content Desc.	Availability
2010	Ebrary (CCU)	Presses de l'Universite du Laval	1 online resource (216 pages) : illustrations.	Available Online Ebrary (CCU)	More Info Access Online