Reset Filters
Filter Related Topics: Proof theory
Filter Related Topics within your search.
Proof theory Logic, Symbolic and mathematical 27 Mathematics 15 Electronic books 13 MATHEMATICS 11 Logic 10 Infinity 8 more ...
61
Provability, complexity, grammars

Cover is for reference only
Main Authors: Beklemishev Lev Dmitrievich, 1967-
Group Author: Pentus Mati Reĭnovich, 1967-; Vereshchagin Nikolai Konstantinovich, 1958-
Published: American Mathematical Society,
Publication Dates: c1999.
Call Number: O141/B424
Book
Save to List
Saved in:
63
Adapting proofs-as-programs the Curry-Howard protocol

Cover is for reference only
Main Authors: Poernomo Iman Hafiz, 1976-
Corporate Authors: NetLibrary, Inc.
Group Author: Wirsing M.; (Martin); Crossley John N.
Published: Springer,
Publication Dates: c2005.
Book
Save to List
Saved in:
64
Proof theory and automated deduction

Cover is for reference only
Main Authors: Goubault-Larrecq Jean.
Group Author: Mackie I.; (Ian)
Published: Kluwer Academic,
Publication Dates: c1997.
Call Number: O141/G688/
Book
Save to List
Saved in:
66
Adapting proofs-as-programs the Curry-Howard protocol

Cover is for reference only
Main Authors: Poernomo Iman Hafiz, 1976-
Group Author: Crossley John N.; Wirsing M.; (Martin)
Published: Springer
Publication Dates: c2005.
Call Number: O141/P745
Book
Save to List
Saved in:
67
Proof theory for fuzzy logics

Cover is for reference only
Main Authors: Metcalfe George.
Corporate Authors: SpringerLink (Online service)
Group Author: Olivetti Nicola.; Gabbay Dov M., 1945-
Published: Springer,
Publication Dates: c2009.
Book
Save to List
Saved in:
68
The dynamics of judicial proof computation, logic, and common sense

Cover is for reference only
Group Author: MacCrimmon M. T.; (Marilyn T.); Tillers Peter.
Published: Physica-Verlag,
Publication Dates: c2002.
Call Number: D915.13-39/D997
Book
Save to List
Saved in:
69
Syllogistic logic and mathematical proof /

Cover is for reference only
Main Authors: Mancosu, Paolo (Author)
Group Author: Mugnai, Massimo, 1947-
Published: Oxford University Press,
Publication Dates: [2023]
Call Number: B812.23/M269
Book
Save to List
Saved in:
70
Introduction to proofs and proof strategies /

Cover is for reference only
Main Authors: Fuchs, Shay (Author)
Published: Cambridge University Press,
Publication Dates: 2023.
Call Number: O141.2-43/F951
Book
Save to List
Saved in:
71
Statistical learning with sparsity : the lasso and generalizations /

Cover is for reference only
Main Authors: Hastie, Trevor. (Author)
Group Author: Tibshirani, Robert.; Wainwright, Martin (Martin J.)
Published: 世界图书出版公司,
Publication Dates: 2023.
Call Number: C8/H356-1/chi
Book
Save to List
Saved in:
72
The story of proof : logic and the history of mathematics /

Cover is for reference only
Main Authors: Stillwell, John (Author)
Published: Princeton University Press,
Publication Dates: [2022]
Call Number: O141.2-09/S857
Book
Save to List
Saved in:
73
Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more /

Cover is for reference only
Main Authors: Gusfield, Dan (Author)
Published: Cambridge University Press,
Publication Dates: 2024.
Call Number: O141.2/G982
Book
Save to List
Saved in:
74
The history of mathematical proof in ancient traditions

Cover is for reference only
Group Author: Chemla Karine.
Published: Cambridge University Press,
Publication Dates: 2012.
Call Number: O11/H673-1
Book
Save to List
Saved in:
75
Proof theory the first step into impredicativity

Cover is for reference only
Main Authors: Pohlers Wolfram.
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: 2008.
Book
Save to List
Saved in:
76
Reductive logic and proof-search proof theory, semantics, and control

Cover is for reference only
Main Authors: Pym David J.
Group Author: Ritter Eike.
Published: Clarendon Press Oxford University Press,
Publication Dates: 2004.
Call Number: O141/P996-1
Book
Save to List
Saved in:
77
Proof theory : sequent calculi and related formalisms /

Cover is for reference only
Main Authors: Bimbó, Katalin, 1963- (Author)
Published: CRC Press, Taylor & Francis Group,
Publication Dates: [2015]
Call Number: O141.2/B611
Book
Save to List
Saved in:
78
The seventeen provers of the world

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Wiedijk Freek, 1961-
Published: Springer,
Publication Dates: c2006.
Book
Save to List
Saved in:
79
Writing proofs in analysis /

Cover is for reference only
Main Authors: Kane, Jonathan Michael (Author)
Published: Springer,
Publication Dates: [2016]
Call Number: O141.2/K162
Book
Save to List
Saved in:
80
Why prove it again? : alternative proofs in mathematical practice /

Cover is for reference only
Main Authors: Dawson, John W. (John William), 1944- (Author)
Group Author: Babcock, Bruce S. (assistant.); Weintraub, Steven H. (writer of a chapter.)
Published: Birkhäuser,
Publication Dates: [2015]
Call Number: O141.2/D272
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —