Home
Advanced search
Results of search for 'su:{ Logic and proofs}'

Refine your search

Availability
- Limit to records with available items
Authors
Item types
- eBooks
- General Books
- Reference
- Textbook
- Textual
Series
- London Mathematical Society lecture note series; 258
- Studies in logic and formations of mathematics; 102
Topics
Holding libraries
Home libraries
Languages
- 00
- English

Your search returned 15 results.

Sort

Sort results by: Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

New list

Results

Image from Amazon.com

Image from Coce

Abstract algebra: Introduction to groups, rings and fields with applications by

Reis Clive
Rankin Stuart A

Edition: 2

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New Jersey World Scientific 2017

Availability: Items available for loan: Central Science Library (1)Collection, call number: B25 Q7.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

Image from Coce

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs by

Ivo Düntsch, Edwin Mares

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2022

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Introductory mathematics for engineers: Lectures in higher mathematics. Lectures in higher mathematics. by

Myskis, A. D
Volosov, V. M [Translator]

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: Moscow Mir Publishers 1972

Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: B13 L2/SC.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

Image from Amazon.com

Image from Coce

Mathematical logic : foundations for information science by

Li, Wei [author]

Edition: 2nd rev. ed.

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York : Birkhauser, 2014

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) Q4 TB.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

Image from Coce

Nuts and bolts of proofs by

Cupillari Antonella

Edition: 2

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: San Diego Academic Press 2001

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) P1.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

Image from Coce

Proof theory: sequent calculi and related formalisms by

Binbo Katalin

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Boca Raton CRC press 2015

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) Q5.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

Image from Coce

Proofs and Models in Philosophical Logic by

Restall

Material type:

Text; Format: print

Language: English

Publication details: Cambridge University Press ; Cambridge University Press ; 2022

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

Image from Coce

Proofs and refutations Logic of mathematical dis by

LAKATOS Imre

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Cambridge Cambridge University Press 1976

Availability: No items available.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

Image from Amazon.com

Image from Coce

Proofs and refutations Logic of mathematical dis by

LAKATOS Imre

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Cambridge Cambridge University Press 1976

Availability: No items available.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

10.

Image from Amazon.com

Image from Coce

Proofs and refutations Logic of mathematical dis by

LAKATOS Imre

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Cambridge Cambridge University Press 1976

Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: R14 L6/TD1.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

11.

Image from Amazon.com

Image from Coce

Proofs and refutations Logic of mathematical dis by

LAKATOS Imre

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Cambridge Cambridge University Press 1976

Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: R14 L6/TD1.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

12.

Set theory: an introduction to independence proofs by

Kunen Kenneth

Series: Studies in logic and formations of mathematics; 102

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North-Holland 1980

Availability: Items available for loan: Central Science Library (1)Collection, call number: B217 M01;1.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

13.

Set theory: an introduction to independence proofs by

Kunen Kenneth

Series: Studies in logic and formations of mathematics; 102

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North-Holland 1980

Availability: Items available for loan: Central Science Library (1)Collection, call number: B217 M01;1.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

14.

Image from Amazon.com

Image from Coce

Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997 by

Cooper S Barry Ed
Truss John K Ed

Series: London Mathematical Society lecture note series; 258

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Cambridge Cambridge University Press 1999

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) N9.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

15.

Image from Amazon.com

Image from Coce

Understanding mathematical proof by

Taylor John; Garnier Rowan
Taylor John; Garnier Rowan

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Boca Raton CRC 2014

Availability: Items available for loan: Central Science Library (1)Collection, call number: B Q4.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Series

Topics

Holding libraries

Home libraries

Languages

Your search returned 15 results.