Language:
English
繁體中文
Help
圖資館首頁
Login
Go To Advanced Search
Options
Bibliographic level:
All records
Book
Serial
Analytic
Collection
Material type:
All records
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
Only with items
Refine search
Associated Subjects
10
20
50
Relevance (A-Z)
Subjects (A-Z)
Subjects (Z-A)
All Titles (A-Z)
All Titles (Z-A)
All Authors (A-Z)
All Authors (Z-A)
Place of publication (A-Z)
Place of publication (Z-A)
Year of publication (A-Z)
Year of publication (Z-A)
ISBN/ISSN (A-Z)
ISBN/ISSN (Z-A)
Person name (A-Z)
Person name (Z-A)
Language (A-Z)
Language (Z-A)
RID (A-Z)
RID (Z-A)
Series (A-Z)
Series (Z-A)
Proper title (A-Z)
Proper title (Z-A)
Edition Statement (A-Z)
Edition Statement (Z-A)
ISBN (A-Z)
ISBN (Z-A)
ISSN (A-Z)
ISSN (Z-A)
Content Notes (A-Z)
Content Notes (Z-A)
Publisher (A-Z)
Publisher (Z-A)
Rating (A-Z)
Rating (Z-A)
Search result for
[ subject:"Structures and Proofs."]
11 records (0.039s)
·
Page 1 of 2
•
1
2
1
.
An introduction to the language of m...
~
Mynard, Frederic.
An introduction to the language of mathematics
by:
Mynard, Frederic.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2018
ISBN:
9783030006402; 9783030006419
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
2
.
Sets, models and proofs
~
Moerdijk, Ieke.
Sets, models and proofs
by:
Moerdijk, Ieke.; Oosten, Jaap van.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2018
ISBN:
9783319924137; 9783319924144
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
3
.
Structures meressemantics, mathemati...
~
Peruzzi, Alberto.
Structures meressemantics, mathematics, and cognitive science /
by:
Peruzzi, Alberto.; SpringerLink (Online service); Zipoli Caiani, Silvano.
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2020
ISBN:
9783030518202; 9783030518219
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
4
.
Logical skillssocial-historical pers...
~
Brumberg-Chaumont, Julie.
Logical skillssocial-historical perspectives /
by:
Brumberg-Chaumont, Julie.; Rosental, Claude.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Birkhauser,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2021
ISBN:
9783030584450; 9783030584467
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
5
.
Language, logic, and mathematics in ...
~
Lemanski, Jens.
Language, logic, and mathematics in Schopenhauer
by:
Lemanski, Jens.; Schopenhauer, Arthur, (1788-1860.); SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Birkhauser,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2020
ISBN:
9783030330897; 9783030330903
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
6
.
Algebraic perspectives on substructu...
~
Fazio, Davide.
Algebraic perspectives on substructural logics
by:
Fazio, Davide.; Ledda, Antonio.; Paoli, Francesco.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2021
ISBN:
9783030521622; 9783030521639
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
7
.
Sequents and treesan introduction to...
~
Indrzejczak, Andrzej.
Sequents and treesan introduction to the theory and applications of propositional sequent calculi /
by:
Indrzejczak, Andrzej.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Birkhauser,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2021
ISBN:
9783030571443; 9783030571450
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
8
.
Arabic logic from al-Farabi to Averr...
~
Chatti, Saloua.
Arabic logic from al-Farabi to Averroesa study of the early Arabic categorical, modal, and hypothetical syllogistics /
by:
Chatti, Saloua.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Birkhauser,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2019
ISBN:
9783030274658; 9783030274665
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
9
.
Proof technology in mathematics rese...
~
De Villiers, Michael.
Proof technology in mathematics research and teaching
by:
De Villiers, Michael.; Hanna, Gila.; Reid, David A.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2019
ISBN:
9783030284824; 9783030284831
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
10
.
Discrete mathematics and graph theor...
~
Erciyes, K.
Discrete mathematics and graph theorya concise study companion and guide /
by:
Erciyes, K.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2021
ISBN:
9783030611149; 9783030611156
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
Diacritics
Close
Diacritics
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
Save to Personal SDI
Export
pickup library
Processing
...
Change password
Login