1
Metamathematics of first-order arithmetic /

Cover is for reference only
Main Authors: Hájek, Petr
Group Author: Pudlák, Pavel, 1952
Published: Cambridge University Press,
Publication Dates: [2016]
Call Number: O12/H154
Book
Save to List
Saved in:
2
Smooth analysis in Banach spaces /

Cover is for reference only
Main Authors: Hájek, Petr
Group Author: Johanis, Michal
Published: De Gruyter,
Publication Dates: [2014]
Call Number: O177.2/H154
Book
Save to List
Saved in:
3
Gödel '96 : logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /

Cover is for reference only
Main Authors: Hájek, Petr (Author)
Published: Cambridge University Press,
Publication Dates: [2016]
Call Number: O141-532/H154/1996
Book
Save to List
Saved in:
4
Knowledge spillovers in regional innovation systems : a case study of CEE regions /

Cover is for reference only
Group Author: Stejskal, Jan (Economist) (Editor); Hájek, Petr (Editor); Hudec, Oto (Editor)
Published: Springer,
Publication Dates: [2018]
Call Number: TU982.51/K734
Book
Save to List
Saved in:
5
Biorthogonal systems in Banach spaces

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Hájek Petr.
Published: Springer,
Publication Dates: c2008.
Book
Save to List
Saved in:
6
Mechanizing hypothesis formation mathematical foundations for a general theory

Cover is for reference only
Main Authors: Hájek Petr.
Group Author: Havránek Tomas (joint author.)
Published: Springer-Verlag,
Publication Dates: 1978.
Call Number: O212.1/H154/
Book
Save to List
Saved in:
7
Metamathematics of fuzzy logic

Cover is for reference only
Main Authors: Hájek Petr.
Published: Kluwer,
Publication Dates: c1998.
Call Number: O141/H154/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —