000			01754naa a2200301 i 4500
001			xx004081681
003			NUKAT
005			20251229104641.0
008			170801s2007 pl a |000 0 eng c
035			_a(OCoLC)1003039568
040			_aBSTOK U/DUN3EW _cBSTOK U/DUN3EW _dBSTOK U/DUN3EWs
100	1		_aBenzmüller, Christoph. _9163487
245	1	4	_aThe Curious Inference of Boolos in Mizar and OMEGA / _cChristoph E. Benzmüller and Chad E. Brown.
500			_aTytuł. nagł.
504			_aBibliogr. s. 313-314.
600	1	7	_aBoolos, George _d(1940-1996) _xkrytyka i interpretacja. _2kaba _9163488
650		7	_aMatematyka _xoprogramowanie. _2kaba _98974
650		7	_aMatematyka _xjęzyk. _2kaba _9163453
650		7	_aWnioskowanie. _2kaba _912435
650		7	_aLogika pierwszego rzędu. _2kaba _928024
700	1		_aBrown, Chad E. _9163489
773	0	8	_dBiałystok : University of Białystok, 2007. _kStudies in Logic, Grammar and Rhetoric, _kStudies in Logic, Grammar and Rhetoric _tFrom insight to proof : _z9788374311281 _7nnas _g10 (23) (2007), s. 299-386 _wgg97611288#0 _7nnam _gS. 299-386 _wzz2007832223
773	0		_7nnas _tStudies in Logic, Grammar and Rhetoric _dBiałystok : Sekcja Wydawnicza Filii Uniwersytetu Warszawskiego, 1980- _kZeszyty Naukowe - Uniwersytet Warszawski. Filia w Białymstoku (1976) _kZeszyty Naukowe Filii UW w Białymstoku. Humanistyka. Dział L, Prace z Logiki _g10 (23) (2007), s. 299-386 _x0860-150X _w(NUKAT)gg97611288
773	0		_7nnam _tFrom insight to proof : Festschrift in honour of Andrzej Trybulec _dBiałystok : University of Białystok, 2007 _kStudies in Logic, Grammar and Rhetoric, ISSN 0860-150X; 10 (23) _gS. 299-386 _z9788374311281 _w(NUKAT)zz2007832223
942			_cNW
999			_c149477 _d149477