Title	The meaning of proofs
Subtitle	mathematics as storytelling
Author info	Gabriele Lolli; translated by Bonnie McClellan-Broussard ; foreword by Matilde Marcolli
Author	Lolli Gabriele
Another authors	McClellan-Broussard Bonnie (Translator) Marcolli Matilde (Author of introduction, etc.)
Issue data	Cambridge, Massachusetts : The MIT Press , 2022. - 1 online zdroj
ISBN	9780262371032
Type of el. source	Elektronické dokumenty (listy, články, monografie)
Note	Názov z titulnej obrazovky (verzia z 07.06.2023). - Kniha je k dispozícii v elektronickej podobe po prihlásení
Additional Variant Titles	Meaning of proofs
Keywords	matematika - mathematics komunikácia v matematike - communication in mathematics dejiny matematiky - history of mathematics filozofia matematiky - philosophy of mathematics
Form. Descr.	elektronické knihy - electronic books
Language	English
Country	United States of America
systematics	51
	51:316.77
	51(091)
	510.21
	168.3
URL	Plný text pre registrovaných používateľov
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xekni
Copy count	1, currently available 0

Title	Ako funguje veda
Subtitle	hodnotenie dôkazov v biológii a medicíne
Author info	Stephen H. Jenkins; preklad: Roman Mezencev
Author	Jenkins Stephen H.
Another authors	Mezencev Roman (Translator)
Issue data	Banská Bystrica : Vydavateľstvo PRO , 2012. - 237 s. : gr., il., tab., 24 cm
Issue	1. slov. vyd.
ISBN	978-80-89057-32-0
Note	Originálne vydanie Oxford University Press 2004 ; slovenské vydanie PRO 2012. - Bibliografia s. 217-227
Keywords	teória vedy - theory of science biologické vedy - biological sciences lekárstvo - medicína - medicine vedecké dôkazy - scientific evidences vedecké teórie - scientific theories
Form. Descr.	štúdie - studies
Language	Slovak
Country	Slovak Republic
systematics	001.1/.5
	57/59
	61
	168.3
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	Gödel 1931
Subtitle	gnoseologická revoluce v matematice a exaktních vědách
Author info	František Včelař, Jaroslav Frýdek, Ivan Zelinka
Author	Včelař František
Co-authors	Frýdek Jaroslav Zelinka Ivan
Issue data	Praha : BEN - technická literatura , 2009. - 273 s. : il., 23 cm
Issue	1. vyd.
ISBN	978-80-7300-247-3
Note	Bibliogr. s. 265-266. Reg.
Keywords	matematická logika - mathematical logic filozofia matematiky - philosophy of mathematics
Language	Czech
Country	Czech Republic
systematics	510.21
	168.3
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	Spravočnaja kniga po matematičeskoj logike
Document part	Časť 4.. Teorija dokazateľstv i konstruktivnaja matematika
Author info	perevod G. V. Davydov
Another authors	Davydov G. V. (Author)
Issue data	Moskva : Nauka , 1983. - 388 s.
Issue	1-oe izd.
Keywords	matematika - mathematics teória dokazovania
Language	Russian
Country	Russian Federation
systematics	51
	168.3
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Title	Teorija dokazateľstv
Author info	G. Takeuti; perevod S. K. Sobolev
Author	Takeuti Gaisi 1926-
Another authors	Sobolev S. K. (Translator)
Issue data	Moskva : Mir , 1978. - 412 s.
Issue	1-oe izd.
Keywords	matematika - mathematics matematické dôkazy - mathematical proofs
Language	Russian
Country	Russian Federation
systematics	51
	168.3
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xkni - BOOKS
Copy count	1, currently available 0, at library only 1

Search results

1.The meaning of proofs