Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Meze formalizace, analytičnosti a prostoročasu

Meze formalizace, analytičnosti a prostoročasu

Vladimír Havlík

Details

OL Work ID
OL35600591W

Subjects

CongressesSymbolic and mathematical LogicIncompleteness theoremsProof theory

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.