Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Search Results
Search Results
Your Search for
PROOF THEORY
returned
8
Items
Sort Preference
7 - Author, Title
0 - Default
1 - Title, Publication
2 - Publication, Title
3 - Publication, Author
4 - Author, Publication
5 - Publication Descending
6 - Shelf Location
Search Result Page:
.
1
.
.
Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Refine Results
Authors:
1
AUTHOR
(4)
1
EDITOR
(3)
1
ABBAS MUJAHID
(1)
2
BECK MATTHIAS
(1)
3
BLOCH ETHAN D 1956
(1)
Show more
Authors
Pub. Year:
1
2021
(3)
1
2003
(1)
2
2009
(1)
3
2010
(1)
4
2020
(1)
Show more
Pub. Year
Subjects:
1
PROOF THEORY
(8)
1
PROOF THEORY AND CONSTRUCTIVE MATHEMATICS
(4)
1
LOGIC
(3)
1
MATHEMATICAL LOGIC AND FOUNDATIONS
(2)
2
MATHEMATICS GENERAL
(2)
Show more
Subjects
Type:
1
Ebook
(8)
Language:
1
English
(8)
Display results in shelf format.
Search Results
Result
Thumbnail
Title
Author
Year
Flags
Holding Information
1
Select this title
Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications / [Ebook]
Series:
STEAM-H: Science, Technology, Engineering, Agriculture, Mathematics & Health,
2023
Shelf Location:
Online resource: Springer
.
2
Select this title
Language, Logic, and Mathematics in Schopenhauer [Ebook]
Series:
Studies in Universal Logic
2020
Shelf Location:
Online resource: Springer
.
3
Select this title
Logical Skills: Social-Historical Perspectives / [Ebook]
Series:
Studies in Universal Logic,
2021
Shelf Location:
Online resource: Springer
.
4
Select this title
The Art of Proof: Basic Training for Deeper Mathematics [Ebook]
Series:
Undergraduate texts in mathematics
Volume:
0
Beck, Matthias
2010
Shelf Location:
Online Resource: Springer
.
5
Select this title
Proofs and Fundamentals: A First Course in Abstract Mathematics [Ebook]
Bloch, Ethan D. 1956-
2003
Shelf Location:
Online Resource: Birkhäuser
.
6
Select this title
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi / [Ebook]
Series:
Studies in Universal Logic,
Indrzejczak, Andrzej
2021
Shelf Location:
Online resource: Springer
.
7
Select this title
Proof Theory for Fuzzy Logics [Ebook]
Series:
Applied Logic Series
Volume:
36
Metcalfe, George
2009
Shelf Location:
Online Resource : Springer
.
8
Select this title
Mastering Calculus through Practice: A Study Guide with over 300 Solved Exercises / [Ebook]
Teixeira, Bárbara de Holanda Maia
2021
Shelf Location:
Online resource: Springer
.
Search Result Page:
.
1
.
.
Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Export
Selected Records
These Results
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Quick Search
Search for
