IUKL Library catalog › Results of search for 'su:"Proof theory."'

Refine your search

Availability
- Limit to currently available items.
Authors
Holding libraries
- IUKL Library
Item types
- E-book
Series
Topics

		No cover image available Tracking reason [electronic resource] : proof, consequence, and truth / Jody Azzouni. by Azzouni, Jody \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York : Oxford University Press, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available Log in to add tags. Add to cart (remove)
		No cover image available Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen. by Detlefsen, Michael, 1948- \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London ; New York : Routledge, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available Add to cart (remove)
		No cover image available Memoirs of a proof theorist [electronic resource] : G�odel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. by Takeuti, Gaisi, 1926- \| ebrary, Inc. Edition: [Rev. ed.].Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: River Edge, NJ : World Scientific, c2003Other title: Proof theorist.Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available Add to cart (remove)
		No cover image available 2-D quadratic maps and 3-D ODE systems [electronic resource] : a rigorous approach / Elhadj Zeraoulia, Julien Clinton Sprott. by Zeraoulia, Elhadj \| Sprott, Julien C \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore ; Hackensack, N.J. : World Scientific Pub. Co., c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available Add to cart (remove)
		No cover image available Logic for concurrency and synchronisation [electronic resource] / edited by Ruy J.G.B. de Queiroz. by Queiroz, Ruy J. G. B. de \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, c2003Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available Add to cart (remove)
		No cover image available Tracking reason [electronic resource] : proof, consequence, and truth / Jody Azzouni. by Azzouni, Jody \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York : Oxford University Press, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen. by Detlefsen, Michael, 1948- \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London ; New York : Routledge, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen. by Detlefsen, Michael, 1948- \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London ; New York : Routledge, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Memoirs of a proof theorist [electronic resource] : G�odel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. by Takeuti, Gaisi, 1926- \| ebrary, Inc. Edition: [Rev. ed.].Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: River Edge, NJ : World Scientific, c2003Other title: Proof theorist.Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Charming proofs [electronic resource] : a journey into elegant mathematics / Claudi Alsina, Roger B. Nelsen. by Alsina, Claudi \| Nelsen, Roger B \| Mathematical Association of America \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Washington, D.C. : Mathematical Association of America, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Icons of mathematics [electronic resource] : an exploration of twenty key images / Claudi Alsina, Roger B. Nelsen. by Alsina, Claudi \| Nelsen, Roger B \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: [Washington, D.C.] : Mathematical Association of America, c2011Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Ways of proof theory [electronic resource] / Ralf Schindler (ed.). by Schindler, Ralf \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Frankfurt ; New Brunswick : Ontos Verlag, 2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available The nuts and bolts of proofs [electronic resource] / Antonella Cupillari. by Cupillari, Antonella \| ebrary, Inc. Edition: 3rd ed.Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Amsterdam ; Boston : Elsevier Academic Press, c2005Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. by Pozzato, Gian Luca \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. by Cook, Stephen, 1948- \| Nguyen, Phuong, 1977- \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available 2-D quadratic maps and 3-D ODE systems [electronic resource] : a rigorous approach / Elhadj Zeraoulia, Julien Clinton Sprott. by Zeraoulia, Elhadj \| Sprott, Julien C \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore ; Hackensack, N.J. : World Scientific Pub. Co., c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. by Pozzato, Gian Luca \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. by Pozzato, Gian Luca \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. by Pozzato, Gian Luca \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. by Pozzato, Gian Luca \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, c2010Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)

IUKL Library

Refine your search

Authors

Item types

Series

Topics