Minsik
Categories
Discover
Casino
Minsik
Book Series
Studies in logic and the foundations of mathematics
Minsik users reviews
Rating 0 of 5
Rating 0.5 of 5
Rating 1 of 5
Rating 1.5 of 5
Rating 2 of 5
Rating 2.5 of 5
Rating 3 of 5
Rating 3.5 of 5
Rating 4 of 5
Rating 4.5 of 5
Rating 5 of 5
0.0
(0)
Other platforms reviews
Rating 0 of 5
Rating 0.5 of 5
Rating 1 of 5
Rating 1.5 of 5
Rating 2 of 5
Rating 2.5 of 5
Rating 3 of 5
Rating 3.5 of 5
Rating 4 of 5
Rating 4.5 of 5
Rating 5 of 5
4.0
(1)
16 books
Statistics
Minsik want to read: 0
Minsik reading: 0
Minsik read: 0
Open Library want to read: 9
Open Library reading: 1
Open Library read: 2
About Author
Gaisi Takeuti
Description
There is no description yet, we will add it soon.
Books in this Series
Proof theory
Gaisi Takeuti
0.0 (0)
0
Teoria mnogości
Kazimierz Kuratowski
0.0 (0)
1
Complete theories
Abraham Robinson
0.0 (0)
0
Sets and classes
Paul Bernays
0.0 (0)
0
Combinatorial set theory
Paul Erdős
0.0 (0)
1
Truth and consequence in mediaeval logic
Ernest A. Moody
0.0 (0)
2
Classical recursion theory
Piergiorgio Odifreddi
0.0 (0)
0
Foundations of set theory
Abraham Fraenkel
0.0 (0)
4
Intuitionistic logic, model theory and forcing
Melvin Fitting
0.0 (0)
0
Abstract set theory
Abraham Fraenkel
0.0 (0)
2
Outlines of a formalist philosophy of mathematics
Haskell B. Curry
0.0 (0)
0
Axiomatic set theory
Saunders Mac Lane
,
Gaisi Takeuti
,
Paul Bernays
0.0 (0)
0
Non-standard analysis
Abraham Robinson
4.0 (1)
2
The metamathematics of algebraic systems, collected papers: 1936-1967
Anatoly Maltsev
0.0 (0)
0
Fundamentals of generalized recursion theory
Melvin Fitting
0.0 (0)
0
Combinatory logic
Haskell B. Curry
0.0 (0)
0