Results of search for 'an:23209' › Strathmore University Library catalog

Proof and knowledge in mathematics [electronic resource] / edited by Michael Detlefsen. by

Publication details: London ; New York : Routledge, 1992

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10017102 (1)

Deducibility and decidability [electronic resource] / R.R. Rockingham Gill. by

Publication details: London ; New York : Routledge, 1990

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10017095 (1)

Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen. by

Publication details: London ; New York : Routledge, 1992

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10017091 (1)

Proof and knowledge in mathematics [electronic resource] / edited by Michael Detlefsen. by

Publication details: London ; New York : Routledge, 1992

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10017102 (1)

Deducibility and decidability [electronic resource] / R.R. Rockingham Gill. by

Publication details: London ; New York : Routledge, 1990

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10017095 (1)

Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen. by

Publication details: London ; New York : Routledge, 1992

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10017091 (1)

Logic with trees [electronic resource] : an introduction to symbolic logic / Colin Howson. by

Publication details: London ; New York : Routledge, 1997

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10017151 (1)

Gödel's incompleteness theorems [electronic resource] / Raymond M. Smullyan. by

Series: Oxford logic guides ; 19.

Publication details: New York : Oxford University Press, 1992

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10085328 (1)

Math proofs demystified [electronic resource] / Stan Gibilisco. by

Series: McGraw-Hill "Demystified" series

Publication details: New York : McGraw-Hill, c2005

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10085504 (1)

Publications 1929-1936 / [electronic resource] / Kurt G{diaer}odel ; edited by Solomon Feferman ... [et al.]. by

Series: Gesamtausgaben ; v. 1.Language: English, German

Publication details: New York : Oxford [England] : Oxford University Press ; Clarendon Press, c1986

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10086792 (1)

Mathematical logic in the 20th century [electronic resource] / [edited by] Gerald E. Sacks. by

Publication details: Singapore : River Edge, NJ : Singapore University Press : World Scientific, c2003

Other title:

Mathematical logic in the twentieth century

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10085578 (1)

In the light of logic [electronic resource] / Solomon Feferman. by

Series: Logic and computation in philosophy

Publication details: New York : Oxford University Press, c1998

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10086864 (1)

The equations [electronic resource] : icons of knowledge / Sander Bais. by

Publication details: Cambridge, Mass. : Harvard University Press, c2005

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10106670 (1)

Tracking reason [electronic resource] : proof, consequence, and truth / Jody Azzouni. by

Publication details: New York : Oxford University Press, c2006

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10271450 (1)

Elucidating the Tractatus [electronic resource] : Wittgenstein's early philosophy of logic and language / Marie McGinn. by

Publication details: Oxford : Oxford ; New York : Clarendon ; Oxford University Press, 2006

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10283503 (1)

The structure of models of Peano arithmetic [electronic resource] / Roman Kossak, James H. Schmerl. by

Series: Oxford logic guides ; 50

Publication details: Oxford : Clarendon, 2006

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10283695 (1)

Logic and the foundations of game and decision theory (LOFT 7) [electronic resource] / edited by Giacomo Bonanno, Wiebe Van Der Hoek, and Michael Wooldridge. by

Series: Texts in logic and games ; v. 3

Publication details: Amsterdam : Amsterdam University Press, c2008

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10302766 (1)

Andrzej Mostowski and foundational studies [electronic resource] / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. by

Publication details: Amsterdam ; Washington, D.C. : Ios Press, c2008

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10231724 (1)

Folk algebras in algebra [electronic resource] : logic and computer science / Marcelo Fabián Frias. by

Series: Advances in logic ; v. 2.

Publication details: River Edge, NJ : World Scientific, 2002

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10201237 (1)

Andrzej Mostowski and foundational studies [electronic resource] / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. by

Publication details: Amsterdam ; Washington, D.C. : Ios Press, c2008

Online resources:

An electronic book accessible through the World Wide Web; click to view

Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10231724 (1)

Refine your search

Your search returned 39 results.

Refine your search

Your search returned 39 results.

Public lists