Your search returned 6 results.

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.

Proof theory by

Schutte Kurt

Series: Grundlehren der mathematischen wissenschaften; 225

Material type:

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

Language: English

Publication details: Berlin Springer-Verlag 1977

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

Proof Theory by

Takeuti Gaisi

Material type:

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

Language: English

Publication details: Amsterdam North Holland 1975

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

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.

Image from Amazon.com

Image from Coce

Proofs from the book by

Edition: 3

Material type:

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

Language: English

Publication details: Berlin Springer 2010

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

Image from Amazon.com

Image from Coce

Reliability of safety-critical systems : theory and applications by

Material type:

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

Language: English

Publication details: New Jersey Wiley 2014

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

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 6 results.